Есть, оказывается, такой установщик приложений, альтернативный гугл-плэй. Но AtomTag в нем не нашел.https://f-droid.org/