Tools and methods for managing TiddlyWeb plugins