tools/bookmarklets: HTML code fixes