A collaborative cucumber editor