See:

• https://support.mozilla.org/kb/Importing+bookmarks+and+other+data+from+Safari

I had looked for that, of course. But as you can see from the attached screen grab, I have no such "Import" option. That's why I was specific about versions... Thanks.

You need to do that in the Bookmarks Manager (Library).

You can find "Import Data from Another Browser" in the Bookmarks Manager (Library)

• Bookmarks > Show All Bookmarks > Import & Backup

That is the third button on the toolbar (Organize, Views, Import & Backup)

• http://kb.mozillazine.org/Import_bookmarks

Thanks, I found it  :-) The wording isn't quite as you described (no doubt a version issue) but you gave me enough clues to find what I needed. XLNT!