>>>>> "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.