Just found where that annoying preference was hiding with AppCleaner, since of course Spotlight doesn’t want to search there … even if you don’t want to delete an application, what AppCleaner finds when you’re frustrated can still be valuable!