request: ad option to hide/show tool-tips

[atomGit]

please make the hiding of tool-tips optional, at least in advanced mode

i'm constantly having to refer to the manual to for things that should be obvious, such as which column is global and which is domain specific since they are not labeled (?)

[gorhill]

See #641.