<title>Linux</title>
<para>
Linux is a POSIX-compatible modern operating system developed since 1991,
-released under the GPLv2, with contributions by thousands of people.
+released under the GPLv2, with contributions by thousands of people. It is
+mostly written in C, with some assembly code.
</para>
<para>
It has grown from a non-portable Intel 386 code with thousands lines to a