/lively4-synctool/src/client/pen-editor