This minor patch compresses the existing header-line information in the REPL, and adds the current working directory (*default-pathname-defaults*). I think it's a nice bit of information to have there when you're dealing with files from multiple directories. Do other people find it useful? /s