add redirection from old map url

This url might be linked in various places, so I put a redirect
instead of leaving it 404.