Documentation: clarify meaning of --html-path, --man-path, and --info-path