[Tei-council] Serving the TEI vault on HTTPS as well as HTTP

Dear Ian, May I ask you (on behalf of the TEI Council) to make http://www.tei-c.org/Vault/ (and in particular the files under http://www.tei-c.org/Vault/P5/) available via HTTPS as well as HTTP? Thanks and all best! Raff