github org-to-html export badness interferes with bookmarklets