In version 2.16, several redir pages were put in for [[basewiki]] pages
that were moved. These redirs should be removed later. --[[Joey]]
[[done]]