On Apr 5, 3:24pm, Jun T. wrote: } } It seems the problem has been fixed by } } 33800: remove old workaround for ancient systems to } consume typeahead before setting up the terminal (Hand smacks forehead) I'd forgotten about that. I searched "typeahead" in the code but not in the change history.