A place for John to record his techy notes, both to refer back to when needed, and as a help for others...
$ git log
git checkout 45a5b1aa137c07b15f820f49762feb7ec068b3f8 .