Thanks for your request. Actually, numbering is there in output HTML, but outside the right margin. If you scroll the document horizontally right, you will see the numbering.
I logged this problem in our defect database. We will keep you informed and let you know once it is resolved.