3 ms·The copy of the GPL in that folder might be there for the sake of texinfo.tex.by tjr 14y agoThe copy of the GPL in that folder might be there for the sake of texinfo.tex.