`community-docs` CI is using the non-bootstrapped library. It must use the bootstrapped version of the library. This was seen in https://github.com/lampepfl/dotty/pull/11074/checks?check_run_id=1689298098 where one of the methods was implemented `???` only on the `non-bootstrapped`.