Changes
* Usernames are case-insensitive now. Users may have to type in their password the first time they log in after the update, regardless whether they were remembered before or not.
* String property values are now left aligned while the others remain right aligned.
* The client is now able to receive and display push popups.
=== Bugfixes ===