Just experimenting with Git and Github . . .