Pourquoi 'df' n'affiche-t-il pas de changements après l'exécution de CleanMyMac ?

J'ai utilisé CleanMyMac pour supprimer environ 40 Gb de fichiers, mais un avant/après de df -h ne montre pas de grande différence :

# Before:
[Kens-MacBook-Pro:~] % df -h
Filesystem      Size   Used  Avail Capacity iused               ifree %iused  Mounted on
/dev/disk1s1   466Gi  445Gi   18Gi    97% 2138098 9223372036852637709    0%   /
devfs          188Ki  188Ki    0Bi   100%     650                   0  100%   /dev
/dev/disk1s4   466Gi  2.0Gi   18Gi    11%       2 9223372036854775805    0%   /private/var/vm
map -hosts       0Bi    0Bi    0Bi   100%       0                   0  100%   /net
map auto_home    0Bi    0Bi    0Bi   100%       0                   0  100%   /home

# After:
[Kens-MacBook-Pro:~] % df -h
Filesystem      Size   Used  Avail Capacity iused               ifree %iused  Mounted on
/dev/disk1s1   466Gi  445Gi   18Gi    97% 1899364 9223372036852876443    0%   /
devfs          188Ki  188Ki    0Bi   100%     650                   0  100%   /dev
/dev/disk1s4   466Gi  2.0Gi   18Gi    11%       2 9223372036854775805    0%   /private/var/vm
map -hosts       0Bi    0Bi    0Bi   100%       0                   0  100%   /net
map auto_home    0Bi    0Bi    0Bi   100%       0                   0  100%   /home

Dans ce cas, les suppressions ont été effectuées en deux étapes, d'abord en effectuant un "Smart Scan" qui indique "10.13 GB Unneeded junk removed", puis en utilisant Space Lens pour sélectionner manuellement des éléments, après quoi il est indiqué "CleanMyMac has freed up 30.21 GB of space on your Mac" (CleanMyMac a libéré 30.21 GB d'espace sur votre Mac).