Just very minor nitpick: their first link to Codespaces is https, while the second one is http for the same page. (Was wondering why FF shows the first and seco

Just very minor nitpick: their first link to Codespaces is https, while the second one is http for the same page. (Was wondering why FF shows the first and second url differently.) Hope there be an automated checker to catch these things.