[hackers-guide,docs] Improve mangling docs further.
Merge pull request #800 from waywardmonkeys/improve-mangling-docs

[hackers-guide,docs] Improve mangling docs further.