Replace the only `<meter>` element in use with a `<progress>` which is styled properly. Also slightly adjust colors on it for better contrast. Co-authored-by: Lunny Xiao <xiaolunwen@gmail.com>
Users can now mark files in PRs as viewed, resulting in them not being shown again by default when they reopen the PR again.