Initial commit of GitHub-ready code.