Supprimer la catégorie « Divers » et migrer vers une catégorie standard

[satonotdead]

@zogstrip

Je vais le corriger, et je ne supprimerai que si cette « catégorie » n’a jamais été modifiée.

J’apprécie vraiment ces efforts dans ce type d’approches. Bravo à l’équipe