📝 Complete the RFC reference for digit-leading hostnames (#7395) master
## Description > AI-agent disclosure: this PR was authored by an automated agent (Codex) and has not been line-by-line reviewed by a human before submission. The subdomain-label helper leaves the source of digit-leading hostname support as an unfinished placeholder. Replace it with RFC 1123 section 2.1 and a direct link to the specification: https://www.rfc-editor.org/rfc/rfc1123.html#section-2.1. Validation: checked the first-character rule against that section; changed-file oxfmt and `git diff --check` pass. Comment-only change; empty changeset records no release impact. ## Checklist — _Don't delete this checklist and make sure you do the following before opening the PR_ - [ ] I have a full understanding of every line in this PR — whether the code was hand-written, AI-generated (our [AI Policy](https://github.com/dubzzz/fast-check/blob/main/AI_POLICY.md)), copied from external sources or produced by any other tool - [ ] I flagged the impact of my change (minor / patch / major) either by running `pnpm run bump` or by following the instructions from the changeset bot - [ ] I kept this PR focused on a single concern and did not bundle unrelated changes - [ ] I followed the [gitmoji](https://gitmoji.dev/) specification for the name of the PR, including the package scope (e.g. `🐛(vitest) Something...`) when the change targets a package other than `fast-check` - [ ] I added relevant tests and they would have failed without my PR (when applicable) <!-- PRs not checking all the boxes may take longer before being reviewed --> <!-- More about contributing at https://github.com/dubzzz/fast-check/blob/main/CONTRIBUTING.md -->