Большое спасибо.
Постараюсь учесть в новых сборках, которые готовятся (на основе 1.7).

Глюк остаётся незамеченным, видимо, потому, что в школьном контексте поток ввода обычно отмечается выделением + нажатием Shift+F1.
Там нужен ровно один способ, и конкуренцию выиграл этот.