It was cleaned elsewhere ... you could basically consider this as a "patch", sort of
https://tracker.debian.org/news/1655445/accepted-devhelp-430-6-source-into-unstable/ https://salsa.debian.org/gnome-team/devhelp/-/commit/9a07c99a49755268bac39037422f646ed9ec3c6b Greetings
