Hi again Vincent, (Output files, @TeX{} engines): Use @acronym{...} for DVI and PDF.
I don't want to use @acronym in latex2e.texi. I feel strongly about this. So please revert that. At one time, I had consistently removed all use of @acronym/@abbrev/whatever for all-caps words, or at least such was my intention. Thanks, Karl