Removed obsolete console history file preference.