Client-side go-to-definition inside GitHub PR diffs. Reuses your GitHub session. No data leaves your browser.
