! Interestingly (your mileage may vary), I took a bit of code from June 2012 and pasted it somewhere else to fix a bug, but I should have taken the July 2012 version instead. So I added a (minor) bug by fixing a larger one. It only generated an undefined index in the error log with no other consequences, no big deal. (Post2.php)
* Saving milli-microseconds for SSI, just like in index.php... (SSI.php)
* Removing theme code... Slowly, but surely. But mostly slowly, okay. (Themes.php, Themes.template.php)