This morning, at quarter to seven, I discovered the ideal way to free space on your /home partition. The secret, it seems, is to type “rm -rf * BMP” without putting the dot between the …