That, or just don't apply ligatures to basic Latin characters. I suppose that people who like using international characters for their identifiers would not min

That, or just don't apply ligatures to basic Latin characters. I suppose that people who like using international characters for their identifiers would not mind having ligatures applied to them. Solved by font selection.