tei-c.org uses GitHub, HSTS and Nginx | TechLeads