I really would prefer to squash these commits together.

But I don't know how to do that on github, and I don't know how to see
what markdown looks like when it's formatted, except by pushing the
code to github.