You won’t find a bookmarklet on Mozilla – that’s not an extension but a piece of JavaScript (as has been explained in a thread just yesterday). Searching for “Bookmarklet” in DT’s online help should tell you all you need to know.
The documentation is, btw, always a good place to look for answers.