This is only changing the numbered list into an unordered list. The only reason I did this was because the numbering was broken due to the use of <pre> tags. Happy to move the change into a new pull request if you still think it's necessary