We can actually use `//` instead of `https://` here; that way it picks up whatever the current scheme is. I'll make that change when merging.