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.
