I met the worries. I solved it. I'm posting this to help someone: It's related to the super user placeholder. By default on ext4, it is 5%. To recover this space, you must mount the key on a linux distribution and use tune2fs on the "Share" partition. Like this: tune2fs -m 0 / dev / sdXY. You will recover the few remaining GB.
