disable-line-editor and run-picolisp-new(-local) modified and renamed.