Time in header

[Jacques Le Roux]

I just realise that we have a date/time in header. Does it make sense to have 
this here ?
Time (and even date) is not updated and each modern OS provides this 
information in some taskbar anyway.

Jacques