Credit yourself for Texinfo conversion.