¹Counted on 05-December-2007 and omitting the GNU copyrights, PostScript and PDF files, and obsolete areas.