Bernd 02/28/2020 (Fri) 21:28:26 No.34711 del
to quote Richard M. Stallman:
Linux is just the kernel