personal website: delete stale files
[web.git] / personal / robots.txt