There was a disk crash on savannah which wiped out some of the recent
commits, I've re-pushed the repository from my personal copy so
everything should be back now.