Eh, it should be highlighted that the Google Authenticator app on the Play Store is NOT the one on GitHub, which is a much older version. The current version is closed source, and cannot be assumed to keep working if a Google account is banned.

(I strongly recommend people compile and switch back to the old open source version.)