Pour la postérité : je viens de faire une nouvelle installation en suivant toutes les instructions, mais j’ai quand même dû ajouter puis supprimer le fichier index en utilisant les étapes « ajouter index → sauvegarder index → supprimer index → réajouter l’index » pour que la catégorie Docs s’affiche correctement.
Peut-être que cela, ou la tâche Rake, pourrait être mentionné quelque part dans les instructions d’installation du plugin.