Better GitHub PR View by Maxi

Better GitHub PR View improves the readability of GitHub repository pull request list pages without replacing GitHub's native interface.

It adds compact inline metadata directly to each pull request row so important information is easier to scan at a glance, including status, review state, progress signals, and change volume when available.

Features:
- Enhances https://github.com/<owner>/<repo>/pulls
- Preserves GitHub's native look and layout
- Adds lightweight inline metadata instead of a full UI overhaul
- Includes popup controls to enable or disable enrichment and related display options
- Stores only local extension settings and cached pull request metadata in browser storage

This add-on does not modify pull request detail pages, issue lists, or non-GitHub websites.