Repository moved

Jan 1, 2014 at 3:23 AM
I have moved the repository to git to make it easier to collaborate with contributors. Because the admins were unable to switch the repo to git in place, I moved it to GitHub here:

Discussions and issues will remain here until (and unless) a better alternative can be found.