bookmarklet.html: add incl and decl