Yeah, markdown takes care of the numbering that way. Although here there's not really so many items that I can't just number it by hand properly.