replace wiki markup by html - ordered lists

2 jobs for master in 47 minutes and 37 seconds (queued for 1 second)