I don't know what other commiters think about that, but you could try and suggest a concrete change. Can you write a patch, or at least a paragraph and point to the location it should go to, in the manual?

Le 8 octobre 2022 19:24:31 GMT+02:00, jgart <jgart@dismail.de> a écrit :
On Sat, 08 Oct 2022 08:08:28 +0200 Julien Lepiller <julien@lepiller.eu> wrote:
I don't think there's a specific policy, but our packages tend to enable most optional dependencies and docs are always useful, so I'd package doc dependencies too.


Hi roptat,

Should we make a policy and add it to the docs?

--
jgart