Purely automatic change. In case of conflict with this change, apply the other change and rerun the formatting to restore it: $ python scripts/fix_style.py
- As suggested by Arseniy Zarche - Also updated confusables to Unicode 12