@hosh, what I'm saying is that the doc page that gives you the JS bookmarklet is now implemented as part of the Bookmark plugin. If you don't have the Bookmark plugin enabled, "/doc/bookmarklet" doesn't exist.