@darby3 Thanks. I'll have a look at the tree style tab extension.
But it looks like the removal of Bookmark all Tabs from the menu is a Linux thing. It's nowhere to be found in the UI. And the reason why I hadn't noticed it before is that the keyboard shortcut still works.