Adds the now missing "Explore" button to github left item bar
Ekde 2015/06/23. Vidu La ĝisdata versio.