Is there a How-To to export IE bookmarks to linux? I have a huge amount of them that I hate to recreate. EI exports them to an html file. Can Mozilla import that file?