Github Comment Enhancer

Enhances Github comments

As of 2020-07-18. See the latest version.