Scripts
-
-
annotation-board JS - allow you to add annotation after selected content and copy to clipboard and save to local server
-
pure reading JS - Update site style for reading
Bibliotheken
-
JMUL JS (Bibliotheek) - utilities for monkey scripts