Linux is a tried-and-true, open-source operating system released in 1991 for computers, but its use has expanded to underpin systems for cars, phones, web servers and, more recently, networking gear.

When Linux 6.13 was released at the beginning of the week on January 20, the sources of the kernel called Linux consisted of exactly 39,819,522 lines of – code-comments, blank lines, documentation, ...