On 2017-08-26 11:42, Dmitry Shachnev wrote: > https://codesearch.debian.net/search?q=html%2Fobjects%5C.inv+path%3Adebian%2Fpatches%2F.* I should use codesearch more often :~) And "searx" should have a backend for it!