Mods from Dario allowing to have numbered chapters in the HTML split version.