repl: use different format as the lead-in to quotes in replies
[mmh] / docs / README.start-devel
2012-04-11 markus schnalkeAdded docs/README.start-devel, which recommends who...