manual-index.cgi revision efcd39ed9401244ac8c783717f4960ae786d997a