Avoid unnecessary redirections on top renewed in 2021-04

While !1656 (merged) renovated the top page, it introduced numerous unnecessary redirections from there.