r4290 redirectIfNecessary(): remove obsolete redirection maps