Feature request: automatically generated ids for headers

I agree that whenever you have headers, you pretty much always want an implicit anchor there too.

8 Likes