Re-build the manual with Texinfo 5
Release 0.7.1

Includes a lot of fixes to argument substitution and configuration file
lookup.