Yep. And for very good reasons, as explained in the article. But knowing that domains can be a significant source of income for a small nation, it does seem a shame to both waste that resource and break tons of sites in the process. I wish there were better ways to do this that didn’t mean shutting it down or even selling it off to the highest bidder (who already has enough money).