On Wed, 30 Aug 2023 22:36:10 +0200 Arnout Vandecappelle <arnout at mind.be> wrote: > Do other maintainers have the same opinion? Agreed. Thomas -- Thomas Petazzoni, co-owner and CEO, Bootlin Embedded Linux and Kernel engineering and training https://bootlin.com