Add floating button to show/hide issue comments of GitHub Issues, to see discussion events / references easier.
Per 02-02-2018. Zie de nieuwste versie.
