I'm responding to a routine alert about toolforge NFS disk usage, and I see that wmr-bot is currently using as much space as all other homedirs put together:

Much of that storage is in /home/wmr-bot/tw/pdf where there are 12,000 pdf files.

@Wmr-bot, can some of these files be deleted? And can whatever is running there maybe process fewer files at a time so you don't take such a bit bite out of our file server?

Thanks!

-Andrew