Editor: Allow users to start numbered lists from an arbitrary number

I strongly support some kind of change here as well (as described in my duplicate issue). I’m happy with everything about numbered lists, including the automatic incrementing. I also don’t mind it renumbering items when a line is added or removed.

My issue is about the behavior of resetting a manually set starting number. Any modification of the first item in a numbered list, will cause it to be reset to 1.

For example:

  1. Create a numbered list of say 3 items.
  2. Adjust the first number to be 5 instead of 1. It renumbers the list (5, 6, 7). Everything is fine so far.
  3. Now touch the first line by adding a space, and notice that it changes the 5 back to 1.
  4. Note that changing any other item in the list doesn’t reset 1. Though, in a callout, touching the header line before the first item does cause resetting.

What I would expect:

I think it’s surprising for the first number to get automatically changed to 1, if it is already set to a number (I could understand something like x becoming numbered).

I think the solution here is to check if it’s already a number and if so, to not perform any auto-update.

Barring that, make it a setting, or provide a way for a plugin at least to work around this.