+ History controls whether the string read is added to history, or
+ not. Note that history is available in any case. Currently there
+ is no way to erase history. Leading and trailing whitespace is trimmed
+ from string before they are added to history, and strings that consist
+ entirely of whitespace are not saved to history.
+
+ Dispite the cleanups performed on history, strings are returned as
+ read.