Input() prompt doesn't always go to stdout

By that argument, the builtin should write the prompt to stderr too. Either way, to me it looks like an undesirable inconsistency that should either be straightened out or documented.