Fix the copyright in examples/readline_edit.py