After updating to 2.0 PR1, my theme was reset (which was fine, and to be expected). The problem is that when I change it back to a theme that I like, then eject my flash drive, and re-insert it, the theme is again set to default. Is this a known issue? I found the setting from which the theme to be used is read in a .ini file, but wasn't quite sure how to set the theme manually. I hope you guys come up with a fix for this! Thanks in advance!