Manage the contents of repl.ini