Github Comment Enhancer

Enhances Github comments

As of 24. 04. 2019. See the latest version.