Extend the REPL menu