Re: rethinking @def*

[Gavin Smith]

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.