Rewrite to make use of new Readline.jl capabilities