GitHub Issue Comments

A userscript that toggles issues/pull request comments & messages

Per 16-02-2020. Zie de nieuwste versie.