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