I’ve now restored everything to where it belongs, and this directory is no longer redirected. I hope it will stay here.