Read-only release history for Devel-REPL-Plugin-Editor