[latexrefman] Permission to include verbatim copy of (the translation of) some parts of the unofficial reference manual?

[Karl Berry]

Hi Denis,

    <!-- ⟨legal verbiage⟩ -->
    which would be read only by computers?

Yes. This is already done for Texinfo output.
(If you View Source on any of latexref.xyz nodes, you'll see it. :)

    https://latexref.xyz/fr/filecontents.html#filecontents

The #filecontents is unnecessary.

    As explained here:

Fair enough. I don't see any real license compatibility problem with
using material from latexref.

    - when the FAQ was taken over by the GUTenberg association, another free
      license was chosen: CC Attribution-Share Alike 4.0 International.

If the material from the 2004 faq was used, the license can't be
arbitrarily changed, legally speaking. (This is why latexref has the
license it does.)  Not that I'm going to make an issue of it :).

Best,
Karl