Yes, but what's also interesting is other large IPv4 block holders who aren't governments. Will large public companies start selling off their address space to pad profits in order to appease/please shareholders?
Property, in many cases, this one included, should be bound to making actual use of it.
Some of nets (25/8, the CGNAT space) are essentially so established as private-equivalent, they should just be officially declared private. Connectivity to these will forever be spotty now that they made their way into corporate networks.
See https://arstechnica.com/information-technology/2021/04/penta...