[galad87]

It's still compressed on disk, so it takes only 5,4 GB of space, not 13 GB+. Sure, the simulator and the iOS or the other SDKs will take more space, but those aren't needed to develop macOS apps.