Javascript files for local bookmarklets