No, it does nothing with the HTML file, it just looks as if it died silently, no errors and no bookmarks.
It was probably for the best, My bookmarks needed some organizing.
What are some other extensions of interest?
It was probably for the best, My bookmarks needed some organizing.
What are some other extensions of interest?
.