Hi,

I have attached a small patch, that adds nice formatting for time
stamps in headlines.

Best regards,

Valentin