codeeditor: interactive command to install editor completions
core: lively.morphic.Morph>>replaceWith
wiki/server: ObjectRepositoryServer exports #withDBDo