GitHub Toggle Issue Comments

A userscript that toggles issues/pull request comments & messages

As of 11. 10. 2017. See the latest version.