“Re: First Public Secure Site via TLS”

Is TAG/Eli a Manila site? I noticed that when you click on some of the links that look like they might be generated by Manila's glossary feature they use http vs https. When I was trying to use Manila behind IIs I ran into the problem of Manila having http hard coded into so much of it's code that I had to do a final filter on each page that changed links to https