I got the export step on my own, but I swear IronFox does not have the Manage Bookmarks option anywhere. Starting to think I’m just going to need to grab a Mozilla account, upload my bookmarks to LibreWolf on desktop, sync bookmarks, and pull them to IronFox that way.