Fix more mentions of header in README

[jakebailey]

These were missed during the monorepo refactor.

[typescript-bot]

@jakebailey Thank you for submitting this PR!

This is a live comment which I will keep updated.

This PR touches some part of DefinitelyTyped infrastructure, so a DT maintainer will need to review it. This is rare — did you mean to do this?

0 packages in this PR (and infra files)

• Infra files
  • README.md

Code Reviews

There aren't any other owners of this package, so a DT maintainer will review it.

You can test the changes of this PR in the Playground.

Status

• ✅ No merge conflicts
• 🕐 Continuous integration tests are still running
• ✅ A DT maintainer needs to approve changes which affect DT infrastructure (README.md)

Once every item on this list is checked, I'll ask you for permission to merge and publish the changes.

---

Diagnostic Information: What the bot saw about this PR

{
  "type": "info",
  "now": "-",
  "pr_number": 69443,
  "author": "jakebailey",
  "headCommitOid": "bccd007ad66abf64f1c8fbf69ecd9d9ce9b22b15",
  "mergeBaseOid": "336514bf08407af44d188b44a55194d029a888cb",
  "lastPushDate": "2024-04-25T21:48:48.000Z",
  "lastActivityDate": "2024-04-25T21:51:02.000Z",
  "hasMergeConflict": false,
  "isFirstContribution": false,
  "tooManyFiles": false,
  "hugeChange": false,
  "popularityLevel": "Well-liked by everyone",
  "pkgInfo": [
    {
      "name": null,
      "kind": "edit",
      "files": [
        {
          "path": "README.md",
          "kind": "infrastructure"
        }
      ],
      "owners": [],
      "addedOwners": [],
      "deletedOwners": [],
      "popularityLevel": "Critical",
      "isSafeInfrastructureEdit": false
    }
  ],
  "reviews": [
    {
      "type": "approved",
      "reviewer": "bcbailey",
      "date": "2024-04-25T21:51:02.000Z",
      "isMaintainer": false
    },
    {
      "type": "approved",
      "reviewer": "andrewbranch",
      "date": "2024-04-25T21:49:31.000Z",
      "isMaintainer": true
    }
  ],
  "mainBotCommentID": 2078231873,
  "ciResult": "unknown"
}

[typescript-bot]

🔔 @jakebailey — there are no owners, but it would still be good if you find someone to review this PR in the next few days, otherwise a maintainer will look at it. (And if you do find someone, maybe even recruit them to be a second owner to make future changes easier...)

[bcbailey]

Thanks for the help Jake!