> Having timestamp=None would complicate the message display in the following lines

I realize this. But I insist: the timestamp that you are displaying is
meaningless.