[dcl.spec.auto] Fix editors marks in examples.

- Add insertion marks to example in p1.
- Move declaration of Vec, make_vec into the added example
  in p7.
[various] Formatting code comments.