The starkest things just happened: I had just done a few installs (on my new MBP) and decided it was time to clean stuff up. Before "empty trash": 126 GB available After "empty trash": ... (wait for it) : 94 GB available! So I actually LOST space by emptying the trash??? ! In the trash were big files (some > 30 GB). How on earth is this possible?