Thanks for noticing that! These days I would always use “their” in this kind of context, but I guess I didn’t yet have that habit back in 2014. Edited.
Thanks for noticing that! These days I would always use “their” in this kind of context, but I guess I didn’t yet have that habit back in 2014. Edited.