I find it amusing that some people think that a nation's defense research organisation, which helps build ICBMs, supersonic aircraft, tactical software and so on, needs advice from someone who reading slashdot on how to write an operating system.
Eh? It's their history in such areas that convinced me they could screw up Water Soup with a recipe from Alton Brown.
On the other hand, how can they call any capped thing "unlimited"? How would they not end up in court for some kind of false advertising or breach of contract?
Because you're not prevented from using more than 5GB, you just have to pay more for the privilege.
It is easier to change the specification to fit the program than vice versa.