> I am guessing guided partitioning is used, not automatic. When using
> guided partitioning, the volume group is named Debian (otherwise
> vg_system), and a lv debian-edu-freespace is created to utilize all
> diskspace. The automatic partitioner deletes this freespace lv after
> installation, but not when using the guided partioner. That way you
> end ut with no free disk outside the lv's, but the freespace lv is
> not mounted, so you don't see it with df -h.
Right. This sound like a bug that should be trivial to fix. Patches
to the installer are most welcome.