Hi， I think this point is of no significance at all. Besides, this is a document that has been around for over ten years. Everyone has become accustomed to this kind of expression. This is just a case of being full but having nothing to do with anything.
On Sat, 12 Apr 2025 at 10:31, David G. Johnston <david.g.johns...@gmail.com> wrote: > On Sun, Mar 16, 2025 at 8:33 PM Peter Smith <smithpb2...@gmail.com> wrote: > >> Thanks for your suggestions. At this point option (1) is looking most >> attractive. Probably, I will just withdraw the CF entry soon unless >> there is some new interest. Just chipping away fixing a few places >> isn't going to achieve the consistency this thread was aiming for. >> >> > I've moved this back to waiting on author pending a final decision. > Interested parties might still chime in but it doesn't seem like it is > actively looking for reviewers at this point. > > David J. > >
