Initial list of history lines. This option makes sense only if terminal is set to true by the user or by an internal output check, otherwise the history caching mechanism is not initialized at all.

If true, when a new input line added to the history list duplicates an older one, this removes the older line from the list.