Adding time stamper to pretty print publication time stamps