dev tools The code behind GitHub's new Code Navigation A brief overview of how Github's Code Navigation works to help you find definitions and code references.