Thanks Dave. Nothing wrong with publishing additional repos of course - pulling can be easier than receiving/applying sent patches, for one. If you do keep an active repo and want to link it on the new darcsum page feel free.