fix: Revert mangle-symbols feature

[xdoardo]

As discussed in #1315.

[codecov]

Codecov Report

All modified and coverable lines are covered by tests ✅

Project coverage is 81.57%. Comparing base (37a8116) to head (f4fc8c0).
Report is 1 commits behind head on main.

Additional details and impacted files

@@            Coverage Diff             @@
##             main    #1316      +/-   ##
==========================================
- Coverage   81.58%   81.57%   -0.01%     
==========================================
  Files         306      306              
  Lines       25271    25271              
==========================================
- Hits        20617    20616       -1     
- Misses       4654     4655       +1     

☔ View full report in Codecov by Sentry.
📢 Have feedback on the report? Share it here.

[Robbepop]

@xdoardo This PR does not really revert [the original PR)[https://github.com//pull/1312].

Would you be so kind and reset your branch and simply use Git's very own git revert command in order to revert the squashed commit of the PR and then force push this PR?

git revert 37a8116eb6672c027e44623dc4c02c2415e41ecc

Using this command makes sure there are no mistakes since it is fully automated.

[Robbepop]

Thank you!