assorted updates

bear with me as I try to learn how to use command-line git.