remove web something

I hope this only deletes this from the Main branch, not from the
gh-pages branch.