Can I delete the mercury-prev repository from github? This is one of our previous attempts at converting the repository. Thanks. -- Paul Bone http://www.bone.id.au