Add floating button to show/hide issue comments of GitHub Issues, to see discussion events / references easier.
As of 02. 02. 2018. See the latest version.