Convert "manually-numbered" list to HTML <ul/>.