The only difference to the standard that I see is that the standard says it should be 1,2,3,4,5, while at least for me it renders as 5,6,7,8,9.

But that’s probably because it doesn’t render as HTML and thus doesn’t rely on HTML to do the numbering.