Factor out searching man pages and ported applications into their own
section, using man.cgi and ports.cgi, ready to switch the main search
over to DuckDuckGo.