Scripts
-
-
annotation-board JS - allow you to add annotation after selected content and copy to clipboard and save to local server
-
highlight-my-interest JS - highlight keywords in my favorites
Bibliotheken
-
JMUL JS (Bibliotheek) - utilities for monkey scripts