When a paragraph starts with a decimal digit followed by a dot, the value of that number is silently renumbered to whatever markup believes it should be without any warnings. I would expect that the rendered text contains at least some red remark if the rendered number differs from the user provided number.
It happened to me in the following situation: The first numbered item also contained a
<pre>; therefore, the enumeration was considered to be finished. The second numbered item which started with 2. is now rendered as 1.
I have always found the implicit enumeration in Latex and HTML very error prone too. Ideally the implicit numbering is checked against the user provided numbers.
What would be best in this situation is to alert to such problems by rendering the problematic item with some error message.
- This is the first item.
with a pre
This is the second item, but it is rendered as 1
This is the third item, but it is rendered as 2
To answer the question by @dmckee (I cannot comment here on meta for some unknown reason...): I need to use
<pre> such that I can use
<b> within program text. This I need for program slices, in particular failure-slice