GitHub Issue Comments

A userscript that toggles issues/pull request comments & messages

As of 17. 02. 2019. See the latest version.