From what I understand, the ban is on X operating there as a company, not necessarily people circumventing blocks on IP and using it anyway. They can't just tell Nostr not to let Brazilians use the protocol.