Mauro Carvalho Chehab <mchehab+huawei@xxxxxxxxxx> writes: > Em Wed, 13 Aug 2025 15:32:06 -0600 > Jonathan Corbet <corbet@xxxxxxx> escreveu: > >> Put this tool with the other documentation-related scripts. > > This one will be painful, as it will cause conflicts with my series > that clean up the docs Makefile. Just in general ... I'm more than happy to put this whole series on the back burner until we've gotten that other stuff merged ... it's an RFC after all, and there's no urgency here. jon