3.1.2/3.1.3 для Android

Первое небольшое обновление в 2023 году включает

• Новый стиль всплывающих сообщений
• Другие измененения внешнего вида
• Несколько исправлений в интерфейсе чтения вслух

Исправление: 3.1.2 был быстро заменён на 3.1.3, чтобы исправить падение на старых (Android 4.4 и 5.x) устройствах.