Changes in version 1.12:

Extra spaces have been removed from the synopses of some commands in the
manual.

Minor documentation fixes.
