This concerns my previous post: There are no -5's in the MO version.
This archive was generated by hypermail 2.4.0: Sat 12 Feb 2022 12:30:44 AM EST EST