Oh my bad, I hadn't noticed there were both the project and editor settings involved here. I'm fine with having the setting only at the editor level; if a need arises to have it project-specific, it can likely be added at that time.