It appears that GitHub no longer links to the Checks page on PRs' "mergeability details" box. If this is confirmed, we should drop the feature. See a previous removal on how to drop it: [e8105c6](https://github.com/sindresorhus/refined-github/commit/e8105c631a11e7fa4022a80e2c47fa5d2145f6f8)
