Use html instead of docbook, tooltips instead of whatsthis

I'm not sure when Qt stopped supporting docbook for rich text
in widgets, must be ages ago. And tooltips work everywhere,
whatsthis only in some environments