Is QED available in CVS anywhere now as it mentions getting updated source with CVS/GCC on the homepage ?