[Traduc] Re: Texinfo translation error, texinfo_document domain