Using machine-readable dynamic tag for <time datetime="">

[bgoewert]

I was going to use the <time> tag with the datetime attribute in the HTML template, but there is no tag for a machine-readable version of the modified date. I could manually change the formatting to be so, but then I'd lose the custom formatting that I want to display.