Etymology
Today it means: To restore the original identifier from (a mangled form). Full definition →
From de- + mangle.
Etymology from Wiktionary, CC BY-SA 4.0.