Originally Posted by murraypaul
I don't think people would expect to get 16GB less out of 32GB though, do you?
It is excessive, no doubt. But we just have established that you could get an additional 5GB, if you wanted, by deleting the restore partition. Which makes sense on a device with access to external storage.