owner 783081 ! thanks * Ian Campbell <ijc@debian.org> [2015-12-11 08:27]: > From Benhard's reply it seems like reassigning this to the appropriate > docs package is the right way to go? Yeah, that's probably best. I had a look at the manual and didn't find an obvious place to add it but I'll look into it again. -- Martin Michlmayr http://www.cyrius.com/