Read-only release history for Padre-Plugin-REPL