I think we can safely change this to "https". That will (slightly) change the look of many articles, so I'm giving a heads-up. -Jsummers (talk) 14:13, 10 February 2020 (UTC)
