Bon, à bien y regarder, c’est pas impossible, il suffit d’ajouter ceci dans un skin.js :
(function (){
const store = new LocalStore();
if (store.get("dysNumHeadings") === null) store.set("dysNumHeadings", "true");
})();
Ce code activera la numérotation si elle n’a jamais été précisée.