this is also an incredibly pedantic thing but if i pushed up a PR to convert all of the URLs in comments and whatnot to be

https://

instead of

http://

(for the ones which are on pages that support https) would that be useful or merely noise?