Re: [PATCH 1/1] CI: treat documentation warnings as errors