Which @-commands did you have in mind? I didn't have a list in mind. Do you know for which commands your patch removed the decorations? I agree about the ones you kept.
I noticed that I had a warning when using a @definfoenclose
It may be intentional. I don't remember. @definfoenclose is not
interesting and not used.
k
