I do not care to fix the linting error, it was introduced by a recently merged backport and passes our linting on main, so more trouble than it is worth to clear that, in my opinion. (I'll admit, I merged the backport which introduced it thinking the lint checks were scoped to changes...)

Doc build failure comes also from another backport.