@nitinkhanna Probably. It’s basically “when I start a new window, change the preference for style to the next one.”
nitinkhanna.10centuries.org.
Searching