Bookmarklet - was ist das?
200degreespixabay.com/de/browser-internet-registerkarte-1666995/Pixabay License
Wenn man auf Wikipedia nachsieht, findet man dort für den Begriff "Bookmarklet" folgende Definition:
Ein Bookmarklet (auch Favelet) ist ein kleines in JavaScript geschriebenes Makro, das als Bookmark abgespeichert wird und dadurch die Funktionen eines Webbrowsers erweitert.
(http://de.wikipedia.org/wiki/Bookmarklet; 08.10.2014)