> * The interactive interpreter always reads from the original standard input, whether Readline is used or not.

This is not true – the interactive interpreter reads via PyOS_Readline, which may call whatever readline hook is installed.

I think the situation would be much more clear if something like my proposal was implemented (https://mail.python.org/pipermail/python-dev/2015-November/142246.html).