https://winaero.com/how-to-export-internet-explorer-bookmarks-to-an-html-file-in-windows-10/