Joshua Judson Rosen (rozzin)'s status on Monday, 09-Feb-2015 14:26:43 EST: @hosh, I think the JS bookmarklet always depended on the Bookmark plugin being enabled; so the change was just to not document it on sites where it wouldn't work.