d6dda7eb4 Make the REPL show lists of Matches better