Documentation: replace http by https where possible