Hm. I thought all user settings reset, but it seems only some of them do - onion skin settings and resized interface elements. I also can't reassign tool shortcuts. I guess I could open these as issues on GH.
It's not a dealbreaker, I still prefer it to other editors out there.
