message: Fix `show-names` on PR files tab
diff: @@ -11,7 +11,8 @@ import {getUsername, compareNames} from '../github-helpers';
  async function init(): Promise<false | void> {
  const usernameElements = select.all([
  - '.js-discussion a.author:not(.rgh-fullname, [href*="/apps/"], [href*="/marketplace/"], [data-hovercard-type="organization"])', // `a` selector needed to skip commits by non-GitHub users.
  + // `a` selector needed to skip commits by non-GitHub users.
  + ':is(.js-discussion, .inline-comments) a.author:not(.rgh-fullname, [href*="/apps/"], [href*="/marketplace/"], [data-hovercard-type="organization"])',
  '#dashboard a.text-bold[data-hovercard-type="user"]:not(.rgh-fullname)', // On dashboard `.text-bold` is required to not fetch avatars.
  ]);
  