¹Counted on 15-March-2023 and omitting the GNU copyrights, PostScript and PDF files, and obsolete areas.