Why do Gradle docs specify "junit-platform-launcher" for JUnit 5 tests?

Because it is not necessary and you cannot select a wrong version that way.
I didn’t check, but I guess the Jupiter dependency also brings in the platform BOM which then brings in the version for the launcher dependency.