Lors d'une précédente maj, j'avais cru les perdre, sauf qu'elles étaient toujours là, dans le même dossier, mais plus adaptées si le thème avait aussi évolué. J'avais donc dû les modifier.

La solution (pas à la portée de tout un chacun) serait alors plutôt de créer un nouveau thème presque jumeau qui intégrerait les template extensions ?
Outre la complexité de la procédure, le souci est que plusieurs plugins se réservent à certains thèmes nommément désignés dans leur code et qu'il faut alors, encore, histoire de ne pas perdre la main, s'amuser à forker ces plugins intolérants que l'on souhaite voir évoluer vers un peu plus d'universalité, j'ose presque dire d'œcuménisme.

Bonjour,

Je trouve qu'elles rendent quand même bien service.  :-)