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.