Added definition of a bookmarklet