At June 11., the GUI was sluggish, music stopped playing, and the browser closing continuously made me do the normal two scroll-wheel reboot.
When done, every setting was reset/deleted, such as profiles, trip statistics, languages, navigation favourites, and more. Everything!
Looked like a...