3 ms·

I got it. One enters `dtt`, or `dts` and space. It gets replaced by date, or timestamp accordingly. Pretty neat!