/lively4-jsx/src/client/pen-editor