Migrate # -> ## in doc headers.

Fixes #15499