Various deletions/modifications to make github match subversion.