[doc] Improve name mangling doc.

Don't merge this yet.  I know the last part is wrong.