HTTP URLs on www.w3.org are now automatically converted to HTTPS

The HTTP/HTTPS system in place at W3C makes that possible. This
change merely makes it easy to copy-and-paste Slide show URLs.