Issue with History

Perhaps someone can shed some light on this, or at least inform me of whether or not it’s a good idea to make something like this an official issue on github.

Basic setup is this:

(
    History
)
.verbose_
(
	false
)
.recordLocally_
(
	false
)
.keepsLog_
(
	false
)

…and so, why does calling History.end continually write to the post window:

// History.logFile closed

?