Added more verbose comments in latest (renumbering-only) pull request.