[SQUASH] simplify maintenance of redirection pages

We may later have more OBSOLETE_HTML pages, and at that point may
end up generating the *.txto files by replacing old and new names in
a template file, or something, but for now this should do.

Signed-off-by: Junio C Hamano <gitster@pobox.com>