Restore everything
Removed some gutter themes, added new ones
Choosing a gutter theme immediately updates the user settings, inform the user if gutter marks are unavailable