# Nobody reads documentation anymore.
python3-pysmi: no-manual-page usr/bin/mibdump
