bookmarklets/: added pastehtml.js