(Sorry for replying to the personal adress first...) Stefan Monnier wrote:
> AFAICT most of the files in `linux-doc/Documentation` are compressed, > so you'd need to use `zgrep`. This actually works recursively with the zgrep command from the zutils package, thank you! The installation of it throws interesting warnings on testing... [...] dpkg-divert: warning: diverting file '/bin/zgrep' from an Essential package with rename is dangerous, use --no-rename dpkg-divert: warning: diverting file '/usr/share/man/man1/zgrep.1.gz' from an Essential package with rename is dangerous, use --no-rename [...]