Aha. Was it always like that? I'm sure I remember options being in the menu bar.

Apologies if I just remembered wrongly. (!)

Thanks for fixing the link.