Add floating button to show/hide issue comments of GitHub Issues, to see discussion events / references easier.
Ekde 2018/02/02. Vidu La ĝisdata versio.
