gatepost-dev.github.io The root of the Gatepost GitHub Pages host. It serves robots.txt, which names the sitemap of the docs site, and it sends the bare address to the docs. Unofficial. Not made or endorsed by NIPOST.