Timestamps in bash history.