I put in a ticket for the out of date version stuff in software.xml.
As for 4.0, I have been using 4.0 since march for pretty much
all the testing I have done and have not run into any problems
(and I think Don, Bart, and Roberto have been running it too).
It seems pretty bulletproof (although I agree its probably a 5.1 or 5.0.1 change).