Recommit to please GitHub

No actual changes, but GitHub thinks every line of every file has
changed, so I'll just recommit everything to make it happy.