Remove annoying javascript error on all pages except docs
I don't have ext/filter, and it has never been a requirement either
This file is still in used by the old-web.

This is a partial revert of 613a15b4954034a65072cd78d007072221779998
But the redirects in the right place.. and lowercase so it works
Remove this links.. hasn't been maintained for a long time