Cela ne me semble pas correct. Le réglage default_categories_muted s’applique à tous les utilisateurs comme préférence par défaut, mais les utilisateurs individuels (personnel et non-personnel) peuvent le remplacer s’ils ajustent leurs paramètres de notification personnels pour les catégories désactivées.