On Tue, Jul 26, 2022 at 04:17:08PM +0000, Werner LEMBERG wrote: > > >> ... I consider this a bad idea. Whatever you are going to change, > >> it will be backward incompatible, causing a lot of grief. > > > > It is only backward incompatible in term of formatting, not in term > > of Texinfo language or syntax > > Yes, and I consider this as bad. As I mentioned in my previous > e-mail, such a change would ruin any fine-tuning of the formatting – a > formatting that stayed unmodified for a very long time.
We could see what the change would do to various documents once it is implemented. It's possible that the change wouldn't cause a problem. If it would break documents or make documents worse then it could be rethought or abandoned.
