Adds the now missing "Explore" button to github left item bar
As of 2015-06-23. See the latest version.