* commit 'dae2ac6f22bd5ab42d54365eedc1ea7dac0db360': Doc change: Fix urls to work properly with https.