Put bookmarklet inline, in static HTML