This should remain explicitly HTTPS so that the docs work when viewed via `file://`