Huh. It seems to work just fine now and also shows me which style is selected in the options, which it didn’t do yesterday. The console doesn’t show any errors either, but maybe they did yesterday. It might have just needed a bit time to parse all the changes of the update.
Thank you very much for your fast reply none the less!