1Counted on 16-July-2025 and omitting the GNU copyrights, PostScript and PDF files, and obsolete areas.