am 13ae720b: am e7ae74f1: am 5bde4bc5: am 1cd65b30: delete a few unused/obsolete files and add redirects

* commit '13ae720b46ef657ec866fd4e82c5550a02427ee3':
  delete a few unused/obsolete files and add redirects