feature-request: don't count history time comment lines when in HISTFILESIZE

[Christoph Anton Mitterer]

Hey.

When HISTTIMEFORMAT is used the history time comment lines are written
to HISTFILE.
Therefore, HISTFILESIZE is effectively only half as large.

Would it be possible to simply not count the history time comment lines
when enforcing HISTFILESIZE?

Cheers,
Chris.