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

* commit '5bde4bc5c7ea442a5940658d17a03f1a5010450c':
  delete a few unused/obsolete files and add redirects