Re #6630. Install the help doc files.