working towards getting nginx to serve manuals