If you look in the history tab of the page I linked to yesterday, you'll see that RemoteUser has changed one of the numbered lists to a bulletted list with the comment that they aren't rendering correctly.