Add floating button to show/hide issue comments of GitHub Issues, to see discussion events / references easier.
Versione datata 02/02/2018. Vedi la nuova versione l'ultima versione.
