> This will take advantage of both GitHub's good search and source browsing and Git's familiar system. The source browsing has detoriated severely relatively r

> This will take advantage of both GitHub's good search and source browsing and Git's familiar system. The source browsing has detoriated severely relatively recently IME, to the point where i can't be called "good" anymore. It now loads asynchronously (requiring js) and lazily, randomly breaks on shaky connections and in-page search is broken. The recent issues/PRs revamp is also a pretty major step back. Try searching in PRs with all uBlock Origin lists enabled.