So now I know why I lost several Go of free space on my HD: