The above is _probably_ not necessary, since this is not marked for bookmarklet compatibility.