/lively4-mpm-debugging/doc/scripts