/lively4-portal/src/client/pen-editor