usage info: Checkbox to turn it on and off (Tools -> Options... -> General).

Change-Id: I67143e604314f5553026c369bbed3fdd683c39a6