Just pushed a plugin which auto–populates the #HTML <ins> and <del> elements with their little–known datetime and cite attributes. Hopefully, coupled with my article update histories and a bit of #js, this’ll allow for some native-HTML version control type stuff.