Fix #5517 - Change docs to clone repo using https