Remember? I just exported bookmarks as a HTML a few days ago. :o

I was referring to the time when Bookmarks.html was Netscape/Mozilla/Firefox’s actual on-disk storage format, not just its import/export format. Editing that file would change the contents of your Bookmarks menu.