1Counted on 30-August-2018 and omitting the GNU copyrights, PostScript and PDF files, and obsolete areas.