> I experienced a strange output of df(1) for the root partition. > The Size is greater than Used but Avail and Capacity are miscalculated
That is an incorrect assessment. There is spare space in the filesystem, only available for root, and this is how it is handled.
