Re: rethinking @def*

[Gavin Smith]

On Wed, Aug 17, 2022 at 02:51:03PM +0200, Patrice Dumas wrote:
> Feel free to rewrite as much as you want, but I think that it would be
> nice for users to know
> * how to avoid special markup in Info (see above)
> * how to obtain a specific formatting in arecommended way
> 

I've thoroughly revised the contents of the node.

I've tried to be "precisely vague", to coin a phrase, trying
to be vague enough without being too vague.