Add support for an info version of the user manual