Per the public conversation on the related patch: https://gerrit.wikimedia.org/r/c/mediawiki/core/+/530433/2/includes/specials/SpecialRedirect.php#93
dispatchUser() in SpecialRedirect.php should use a 302 http status code instead of a 301 to avoid certain caching issues. This is a public task as 1) this issue was already publicly-discussed on gerrit 2) this is conceivably more code-hardening than a bona fide security issue.