Hello, On Sat 06 Jul 2024 at 07:49pm +02, Chris Hofstaedtler wrote: > I'm happy to file the bugs, if policy intended to forbid this, and/or > this bug does not get rejected. I would be happy to second this change too. Generally however we seek not to make packages buggy by releasing Policy. So it would be good to file those bugs first. -- Sean Whitton