Thanks for the notice; I've deleted a few (mostly) unused instances in the pagemigration project. I don't see what I can do on dumps-stats, which seems the biggest offender. It did indeed have some big files a few weeks/months ago, but they were already deleted a while ago. If a reboot is needed to save space, feel free. Nemo