> the figure you mention is the current actual size.

AFAIK, the current actual size is about 2.5 GB. The 5 GB figure I mentioned includes about 2.5 GB initially unused space to be used later for downloading packages for updates etc., which is the minimum configuration apparently.