I think I’ve finally hit the point where I’ll just update WordPress manually from now on. This means no upgrading at the office, but I suppose I could be doing some WORK instead…
I just updated to 2.3.1, and as I suspected, it replaced the Themes folder and I had to add the JS line for Mint back into the header.php file. It’ll be a much smoother transition if I just download the latest version and add in all the sub-folders one by one. At least I hope so 
Why not upgrade with Subversion and install the Mint plugin?
That sounds like a fantastic idea, and as soon as I get home I think I’ll start doing that. I really need to start taking advantage of Subversion in a number of ways, actually.
Thanks for the tip!