[Python-ideas] Visually confusable unicode characters in identifiers