Really does seem like it came down to this point. Musk hoped Brazilian users would get angry with the government, and they just downloaded bluesky instead. Musk lost a month of Brazilian revenue and gained nothing.
I followed some Brazilians on my (mostly unused) bluesky account. Will be interesting to see if they stick around there, return to twitter, or use both.