s there a way to convert IE bookmarks to the new mozilla format?
Copy the bookmarks.htm file to your linux PC
Open it in firefox.
Add the bookmarks you need to your linux firefox.
Or from IE, you can probably "Export bookmarks" and them "Import bookmarks" using firefox.
I like the KISS principle: I have an (old) file called Win98Bookmarks.html that I just reference once in a blue moon: I open the file (actually the file itself is bookmarked in my linux firefox) and choose the link I need.