/lively4-mpm-debugging/src/client/pen-editor