[Bookmarks] Added option to export bookmarks to HTML file.