Right, it is not worth it and shouldn't be in Preferences. This is not a preference. Therefore, I don't think this patch is a good idea.