Pull requests welcome over at the Github mirror: TODO: update with new GitHub mirror URL when we have it