(Redoing check-in lost by SourceForge's failure.)