Restore redirect from http://openstreetmap.org to https://openstreetmap.org