Details
Description
Console.reader() is clear that the Reader doesn't return characters beyound the line termination for each invocation. However it's not clear that a line termination is required for the reader to return characters. It would be good to clarify this so that a single character read, via reader().read(), doesn't create the expectation that it works like a getch.