GitHub PR File Filter

Hide and mark files as viewed using regex pattern.

As of 2020-12-31. See the latest version.