If I look at my disk utilization, in System Monitor under Gnome, I see File System details which lists Total, Free, Available and Used. The simple arithmetic works for Total, Free and Used, however in my case ‘Available’ is 12 GB less than ‘Free’.
Which unprincipled rogue stole 12 GB of my disk? Why, that’s almost an armful; I want it back! Where did it go?