Do copy the generate-section-numbers markup to the output file. We don't want to lose it when round-tripping.