Bernd 2/28/2020 21:28:00 No. 34711 [Reply] report to quote Richard M. Stallman: Linux is just the kernel