Just now adding all this to github.