Hast du Angst vor Repressionen oder warum willst du uns den Namen der Distro nicht nennen?
Mir fiele da nur Ubuntu ein. Aber jeder hier hat seine persönlichen Zu- und Abneigungen. Wahrscheinlich wollte der Vorposter nur jedem Leser die Chance geben, seine Emotionen in die individuellen Bahnen zu lenken - und den allgegenwärtigen Distri-Flamewar vermeiden.
Klingt für mich eher nach Mint *hust*