Brazilian here. To the best of my knowledge such orders are always publicised, if nothing else because they would be highly unlikely to apply to only one platfo

Brazilian here. To the best of my knowledge such orders are always publicised, if nothing else because they would be highly unlikely to apply to only one platform (ie, the courts or some regulatory agency would need to require Android and other phones to also disallow ProtonVPN or any other). So this seems like a tech glitch, could even be some block implemented for example at the Embratel backbone connecting Brazil to the rest of the world. Or, could indeed be the unlikely but possible cases of Apple just responding to a “secret” order or deciding out of its own volition to block them.