>> ## Translated documents licence
>
>> The translated documents are distributed under the same licence as the
>> original documents: the GNU Free Documentation License, Version 1.3 or
>> any later version published by the Free Software Foundation.
>
>> See https://www.gnu.org/licenses/fdl-1.3.ht
>> Although the Emacs manuals translation is not yet formally integrated
>> with the rest of the GNU Project translation project,
>
> I am not sure there is a need to "integrate" the two activities, or
> that we ought to suggest that. My idea is more basic: it would be
> wise for manual translato