all files now in GitHub, and some Minor changes