HTTPS some URLs.

Tidy up the developers list a bit.