Deterministic URL shortener for BSD manual pages, written in nginx.conf