CVS server upgrades are done. Check w3.org/brief/Mjk0 if you run into any problems. Next up: Bugzilla upgrades on Tuesday.