Allow starting numbered lists with arbitrary numbers

This came up a number of years back, but was filed as a bug Bug with Numbered List. I’m fine with the classification of it not being a bug, but it would still be useful if lists could be started at arbitrary numbers/continued after writing something in between, e.g.
Top Prio:

Item 1
Item 2
Item 3

Medium Prio:
4. Item 4
5. Item 5
Low Prio:
6. Item 6

Discuss this on our forum.