It took a bit more than 5 minutes, because I managed to hose the anonymous CVS repository when I was rsyncing the updates to my desktop. However everything is back to normal now and the new version is available.