On 2/26/2015 11:15 AM, random832 at fastmail.us wrote: > Your argument seems to boil down to "no-one uses the prompt", so why not > just get rid of it? Mangling what people write beyond recognition does not help improve python. -- Terry Jan Reedy