Use https: for wikipedia links

[Adam D. Ruppe via Digitalmars-d]

On Monday, 14 December 2015 at 21:35:43 UTC, Walter Bright wrote:
> I see it does the redirect, and wonder as well if there's an 
> advantage to calling https directly.

The end user saves a small amount of time by skipping the 
redirect.

If it is trivial, I'd do it for the snappier load, but I wouldn't 
spend time actually worrying about it. (Besides, the load time of 
external sites isn't really our problem.)