Editorial comments
If you have a GitHub account and want to make any editorial suggestions, please do so here.