still trying to fix formatting.
still fixing table-of-contents formatting issues.
essentially no-op to try to force github to update its cached content.