/lively4-projectional-editor/.options