REPL history: instructive warning for old-style history files.