Deterministic URL shortener for BSD manual pages, written in nginx.conf - View it on GitHub