There is no "Download the Pin It Button" name-out on the principle web page, so I had to hunt round for a couple of seconds earlier than I found the bookmarklet they were speaking about. I suffered just a few seconds of confusion since I already had my bookmarks bar displayed.