footer: add tooltips for icons

We add some dead code in the CSS/JS, because that's what's needed to
customize these tooltips. However, using the dead code results in
differing positioning styles in FF/Chrome --- this is why we add them as
commented-out dead code here.