You are correct. The practical reality is that the Australian government doesn't have much authority in Brazil. It's more of an issue for people from the other

You are correct. The practical reality is that the Australian government doesn't have much authority in Brazil. It's more of an issue for people from the other 5 eyes countries. If you are a UK citizen working in the UK, and a UK agency wants access to encrypted data, successful extradition would be more likely. The 5 eyes governments won't rush into this. They will be tactical in establishing a legal precedent. The game plan is to wait for a case where there would be little public sympathy for a developer, perhaps where the developer has committed other crimes too. They will seek extradition then. Once they have done it once, it will be much easier for them to do it again.