Fix Issue 11846 - Document pragma(mangle) feature.
Merge pull request #550 from AndrejMitrovic/Fix11846

Issue 11846 - Document pragma(mangle) feature.