Nah, it says "Unavailable" on Gandi. It seems that somebody paid full price, although it is not operative => mauricio.dev
Do you happen to have a link to said list? A quick googling returned nothing relevant for me.
https://www.icann.org/resources/country-territory-names#rese...
ICANN definitely went overboard on these required reservations, but of course we have no choice but to comply.