Once Python's input() prints the prompt itself, everything is fine.
Before, line editing did not know about the prompt and showed
confusing terminal output.