A browser extension that improves code navigation on Github