Re: Pubrules: Use https for /TR documents

> (note that this change may break specref.org @@check with Tobie)

Yes, this seems like it might wreck havoc. Can you stage the new version
somewhere and give me time to transition?
 
>     <!-- W3C server redirects from http to https, so let's represent this
>       equivalence here -->
>     <rdf:Description rdf:about="http://www.w3.org/TR/html51/">
>       <sameWorkAs rdf:resource="https://www.w3.org/TR/html51/"/>
>     </rdf:Description>

I use shortnames to identify specs, nor URLs, so there's not distinction
between the two resources shown above, so I have no idea what this
change could cause (probably a stack overflow).

--tobie