Revert "Just a change so we have something to push"

This reverts commit 01a2def1c1116b260b7e5d6a210bd92c01ea2e1e.
Revert "Just a small change to demonstrate what happens when GitHub is ahead of local repo ..."

This reverts commit a0576637d99f087b71698de174413e53c77daf32.