update links to https
In the current EN, there are 14 url:s using the "http:" prefix. I suggest to check them one by one and replace the prefix with "https:" if the same resource can be reached after such a change. This is not a big issue, but I think it would be a small improvement, reflecting current best practice. Any reason not to?