Initial commit, after some work outside git and github.