remove: redirect via urlto(), avoiding mentions of index.html