@burnout426 ... Thanks for taking the time to reply to my question. Unfortunately I did not quite understand it. My main reason for not understanding is that I have been importing various bookmark files that that are in the html format, and this is the way they appear in my Opera bookmarks bar: >>(the bookmarks I generated on the current installation); Imported ; Bookmarks Bar (File); and Bookmarks Bar (File) again.
When I click on either of the two "Bookmarks Bar (File)" entries the contents are identical and contain the following entries Bookmarks Bar (File) and Bookmarks Bar (File)(2).
I do not know Java Script, and do not know what JSONedit is or what it does. would you mind explaining?