or is copying the bookmarks as a html file the only way?