a Chrome Extension which makes Github more usable