HTML converter for Firefox bookmarks in JSON format