web: remove unused directory.