Something that I have never understood is why code ligature often try to combine two or more symbols into a single one. I like a lot what they did with “(” by fixing the vertical alignment of the “” while still keeping two separate symbols. I personally prefers when the number of symbols is preserved instead of merging them (like for “>=”).

I find “texture healing” a fantastic idea. It does indeed increase the readability of monospace font, without making them non-monospace.