Bah non, tu peux juste poser une question sur
https://github.com/koreader/koreader ; et si tout va bien (et souvent, tout va bien) quelqu'un te répondra (au pire, ce sera moi =)). C'est vrai que ça sert aux développeurs, mais la partie "issues" sert également à n'importe quel utilisateur pour faire des suggestions et pour signaler des bugs.
La différence avec mobileread c'est que les gens qui répondent là-bas sont souvent capables de modifier le programme. Si la modification demandée est intéressante ou si ce que tu signales devrait fonctionner et ne fonctionne pas (ce qui me semble être le cas ici), tôt ou tard quelqu'un corrige en te remerciant d'avoir soulevé le problème.
si tu ne le fais pas toi-même je le ferai à ta place =) parce que même si je n'utilise pas l'en-tête, maintenant, je ne pense plus qu'à ça.
(never mind, I've done it :
https://github.com/koreader/koreader/issues/3994)