Migrate # -> ## in doc headers.

I busted out some `git grep | xargs sed` and fixed this. I've reviewed the diff, and it should be good. Please double check me, though!

Fixes #15499