From experience, I know that this isn't the easiest thing in the world with the differences between df outputs, but I think it might be worth getting Full disk space used across all mounted partitions / Full disk space available across all mounted partitions. This would only take up a single extra line.

Ideas on implementation? Or not interested?