>>>>> "Colin" == Colin Watson <cjwatson@debian.org> writes:
>> For this I don't know, though. If this is a problem it should
>> really be fixed.
Colin> It's no small project.
Whether it is small or large project it needs to be done---given that in GNU
the standard documentation format is info.
Regards,
Isaac.