there’s none
they set their username field to the NIP-05 so it appears confusingly similar to an actual NIP-05 on some clients