Hi all,

I've gone through the open console related bugs that we have and labelled them with the keyword "console": there are 11 of them, that I can find.


Is it time to

A: Switch back to the old InteractiveConsole as the default console
B: Write some documentation for users to alert them that they can try out jline, which works on most platforms, but not all.