Devel::REPL::Plugin::DumpHistory(3pm) on Linux

The text 1e458c5563d6, as Debian 7 (Wheezy) shipped it.

Plugin for Devel::REPL to save or print the history.