1Counted on 8-February-2016 and omitting the GNU copyrights, PostScript and PDF files, and obsolete areas.