In message , Mike Tomlinson
writes
You mean 'Bookmarks/Bookmark All Tabs', yes? It's moved; if you right-
click on any tab a menu pops up, and one of the options is Bookmark All
Tabs.

A very handy feature which I use a lot.

Yep, that's the one. I had, of course right-clicked almost everywhere
else.

And thanks to others for the other guidance.

Firefox's help files are either very poor or wrong.
--
Bill