J'en avais conservé au début, dans les premiers jours suivants la migration.
Mais me rendant compte de mon erreur, j'ai renommé ces vieux fichiers en name_old.php (le temps de vérifier que mes problèmes venaient de là).
Je suis parti du principe que nommé de la sorte (name_old.php) ils ne seraient plus pris en compte par Prestashop comme remplaçants de fichiers default.
Peut-être que je me trompe sur ce point ?
Et j'avais bien régénéré class_index.php dans la foulée.