rm js tooltips (fixes #208)

The JavaScript tooltips we are using are buggy.

I see no real reason why we use the in the first place
because the tooltip implementation in browsers is quite good
and probably has benefits in terms of accessibility, too.

So this removes the js tooltips.