Any of the developers who feel like doing this, there's a bug in the way quicktags.js generates datetime. Not only does it give a month one less than it should, but my reading of the document called out in the HTML 4.01 spec requires month (etc.) fields in
datetime attributes to be 2-characters in size. Which says to me you have to zero-pad them.
Here's the code:
And while I was in there, I added
title attributes to the <ins> and <del> tags and made the date and time a little prettier in the title attributes.
My code's pretty "agricultural". Sorry 'bout that.