This prefix has wrongly been defined with https instead of http.
Luckily, it has no impact on the data because everywhere where it has
been defined that way, it also never has been used. So here we just
rectify the (unused) prefixes to avoid bringing further confusion.