[docs] [issue9362] Make exit/quit hint more novice friendly

[anatoly techtonik]

On Fri, Jul 23, 2010 at 10:24 PM, Alexander Belopolsky
<report at bugs.python.org> wrote:
> I suggest changing
>
> Use exit() or Ctrl-D (i.e. EOF) to exit
>
>  to
>
> Type exit() or quit() and press the Enter key to exit

Type exit() or press Ctrl-D to exit.