close 609795 thanks Hi,
thank you for your suggestion, however:
* carrying this as a debian-specific patch doesn't make sense,
and getting that accepted upstream is not likely either.
* in general people are supposed to know that /usr/share/doc/$package/
might contain further documentation that they should look at.
Regards,
Daniel
