Dmitry, it's not just useless, it also adds a confusing checkbox to the preferences dialog (confusing for users).
Dmitry, it's not just useless, it also adds a confusing checkbox to the preferences dialog (confusing for users).