base-system@gentoo.org build man.cgi web plugin for viewing man pages set as the default man provider