Lots of markup cleanups to avoid warnings from the GNU info generation;
these make sense even without that processing chain.
3 files changed