Changed the way to access the individual view options. Instead of

right-clicking on the view button (which nobody found without asking
me... and was not easily available on Macs with 1 button mice), there
is now a small arrow (with a tooltip) next to the view
button. Clicking on this arrow pops up the option menu.