<time:timestammp>
We had been using !time() syntax for timestamps so far. Since its an unreleased feature, we can make changes without affecting many people. Fixes #15442.