Jack Hill writes: > Please find updated patch files attached, that I think take into account > Marius's suggestions (thanks Marius!) Thank you! I made a tiny tweak to use char=? instead of equal=? for the character comparison. Pushed as 5a836ce38c9c29e9c2bd306007347486b90c5064.