[doc] Improve name mangling doc.

Don't merge this yet.  I know the last part is wrong.
Please link to the sources on GitHub here.