Fix broken doc links and http→https where possible