The funds just lay there, waiting to be spent on development.
You can compare those addresses with our public ledger: https://www.noblemovement.com/public-ledger/
I've now tagged them, for instance if you go to 9amycGhuemdnmEwhUsQweQxoXo2tDbqXEH, it'll be tagged with "Noble Movement Reserve".
The tagging is unsigned since I manually added them.
Note that you can tag any address by registering at cryptoid.info and using the "sign message" feature of your wallet, this proves you have ownership of an address, and then you have control over the tag text and link.
Finally due to the way the protocol works, active reserve addresses aren't easily tracked in the explorer (like 9VFgi2dfifpZekh2JjGjBZkjWwJcSPgPgc), I'm working on a feature to allow more practical blockchain-based ledgers / money trails.