The redirect was removed in 17a9629. Remove this too?