Yeah, I suppose that would be ~3GiB that some people won’t need.
This makes a good point in that light.