A minimal javascript text editing library