Remove the 'tools' directory because it conflicts with serving tools.html via GitHub Pages