[sbuttgereit]

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.....)