Suggesting hint at apt-file at debian.org/distrib/packages#search_contents

Hello all,

I believe it would be very useful
to add a short hint at apt-file package
right at this package search engine:
https://www.debian.org/distrib/packages#search_contents

Wording could be something like:

[suggestion 1]
For package content search on your local Debian-based system,
you may install the <i>apt-file</i> package there.

[suggestion 2]
Package content search may also be done locally on your Debian-based system:
simply install the <i>apt-file</i> package there.



To be inserted probably right after section:
=====
 There is also a shortcut available:

    https://packages.debian.org/file:path for the search for paths
ending in the keyword.
=====


That way one would potentially take a sizeable amount of search load
off this public engine server.


I already grabbed entire webwml repo
with the intent of submitting a ready-made patch,
alas, this engine implementation does not seem to be a part of this repo.

Thanks a lot for all your efforts,

Andreas Mohr