Update docs on mangler

So why it is doing what it is doing is a bit more clear. But only a
bit.