Nix zu danken....ich werd übrigens die nächsten Tage (auf nem neuen Laptop) mal Ubuntu 20 aufsetzen, bin mal gespannt, was da alles klappt (und was nicht).
Generell hab ich in den Jahren, die ich nun Linux nutze (ich glaube, seit Ubuntu 14), die Erfahrung gemacht, dass Probleme überraschend schnell gefixt werden.