unnecessary restart after theme is not really changed
since 1.0-beta10 changing the theme is applied immediately.
but if you go back from the settings to the normal view, after trying other themes but staying with the "original" theme in the end, f-droid classic is still restated (it takes longer; the display flashes white; the tab and the scroll position is lost).