@Felix - That sucks that you are so against automatic upgrades but it only takes one bad experience to fear going through that process again, even if it wasn't directly the fault of WordPress core. However, what if you didn't do an auto upgrade and manually upgraded the site? Wouldn't the problem surface anyways? Better to be aware of it sooner rather than later?