🛠️ Fixes: - Better animations for new messages - The UI sometimes froze - Which message was last read was not always right - Improvements to message processing stability - Android push notifications are now more stable - Better UI scaling (esp. on linux) - Performance improvements - Various minor fixes