My bad :-) Being a Daring Fireball regular, I just think of it as being Gruber - hence a use of 'they' indicates someone else for me. That'll teach me to pay

My bad :-) Being a Daring Fireball regular, I just think of it as being Gruber - hence a use of 'they' indicates someone else for me. That'll teach me to pay a bit more attention when reading!