GitHub repository: tectonic-typesetting/tectonic-relay-service
Primary language: HTML
Description: A simple URL redirection server for Tectonic's web assets