A simple URL redirection server for Tectonic's web assets - View it on GitHub