Penguin
Diff: --no-demangle
EditPageHistoryDiffInfoLikePages

I'm sorry, there is no such page as --no-demangle?.