Good catch. It will be somewhat painful to maintain, but I agree that keeping the numbering in sync is the right thing to do (since Markdown is designed to be both read by humans and formatted by machines.