This gives markdown headers an id so that we can link directly to sections of our docs. This is better than the alternative of adding them all ourselves.
