Modified sage-shell:output-finished-regexp.