Point MAN_BASE_URL to git-htmldocs/ for now