Fix #19524: Protect use of `HeaderIdGenerator` with `synchronized`.#19884

sjrd merged 1 commit intoscala:mainscala/scala3:mainfrom

dotty-staging:fix-scaladoc-race-conditiondotty-staging/dotty:fix-scaladoc-race-conditionCopy head branch name to clipboard