I agree. I use ligatures in my own coding and so to my eyes, the presentation was very natural... but for someone that doesn't/hasn't I think your point is com

I agree. I use ligatures in my own coding and so to my eyes, the presentation was very natural... but for someone that doesn't/hasn't I think your point is completely correct. It's better to not use ligatures for publication, such as in this scenario. (Now that I've said that, I better go check and see if I've made this mistake due to just not thinking about it.... hmm.....)