Trying to send myself a pull request...

... while learning GitHub, and not having found a way to simply run a pull. :(