* commit '1282925654f82e6df7a1fb0503de36ee951c126d': delete a few unused/obsolete files and add redirects