Attribute "start" for ordered markdown list

What if you want to start a list with something other than number one?

Only the first list item is relevant. That determines the start attribute on the resulting <ol> HTML tag.

input.md

Five
Six
Seven
Same as:
Five
Six
Seven

output.html

<ol start="5">
  <li>Five</li>
  <li>Six</li>
  <li>Seven</li>
</ol>
<p>Same as:</p>
<ol start="5">
  <li>Five</li>
  <li>Six</li>
  <li>Seven</li>
</ol>

Which renders in the browser like this:

Five
Six
Seven

Same as:

Five
Six
Seven