J'ai décidé d'accepter la proposition de reprendre la maintenance des paquets Debian. Ces paquets n'étaient plus mis à jour depuis longtemps et ils étaient sur le point d'être supprimés.

Donc, je m'occuperais du dock plus tard (probablement courant décembre).