Headerbar: tooltips for buttons with labels seems unnecessary and redundant
https://developer.gnome.org/hig/patterns/feedback/tooltips.html
HIG says that "controls in the header bars of primary windows should all have tooltips". However, this seems unnecessary and redundant for buttons with labels (and that includes view switchers).