doc: Update license notices. * doc/*.texi: Reference the GFDL 1.3 through a URL, rather than by reference to a section or to a "file as part of this distribution".
2020-01-18T19:32:40