Add a @date@ symbol to include a date(1)-like time string