[thisrod]

There is a higher order issue here. DNS time stamps have been stable for decades. Why has anyone written new code to format them since the last leap second?