am 5ef71146: more redirects for deleted files

* commit '5ef71146ce5df3d2838fadbd9c26875e0b2f9a7e':
  more redirects for deleted files