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