Dear Jeremy, Thanks for your patch, it is much appreciated. Unfortunately, putting an image with a generic name in /usr/share/info is not recommanded (see [1]). And this is why I never took the trouble to fix this properly. Would you mind fix your patch to address this issue?
Best regards, Bertrand [1] https://lintian.debian.org/tags/info-document-missing-image-file.html
signature.asc
Description: OpenPGP digital signature