Jake 9: Close out the GitHub issue you created

## What

Well, your changes are considered live! The doc is up, and you can cross out that to-do.

## How

Add a final comment to that GitHub issue and close it out. You're all set. Bonus points if you were able to point your commit to the GitHub issue the way I did in #13.