@kytta thanks for the info! I think I will just uninstall Options+, I don't use it anyway and am fine with the default settings.