Allerlei Mythen ranken um die Frage, wer im Fall der Fälle die Leitung von Linux übernimmt. Dabei gibt es eine Nachfolgeregelung. Die kennt nur kaum jemand.