Converted to new attribute syntax, added empty lines before index
macros in description lists (thanks to Achim Gratz for catching this),
and some edits on the way to bringing the manual up-to-date.