Right now, server logs that we print by default, are not timestamped. It is probably a good idea to add timestamps, by default, as it helps debugging. User asked for it. Btw can it done via middleware right now, from the userland?