Oh, interesting, yes this is "mauritius" in Spanish a not so common name. I didn't know this, thank you for pointing it out. I guess that list is recent as mauricio.com and mauricio.co belongs to regular people and are currently working.
Do you happen to have a link to said list? A quick googling returned nothing relevant for me.
.com is a legacy gTLD, which existed long before these restrictions were codified in 2012 for the new gTLD program. .co is a ccTLD (it's for Colombia), and ccTLDs also predate the gTLD program and are not subject to the gTLD program restrictions besides.
Do you happen to have a link to said list? A quick googling returned nothing relevant for me.