Then your answer to peteretep's question (https://news.ycombinator.com/item?id=9188477) "Would you have rather the commenter have said 'their'?" is 'yes', which is fine.

I agreed with what I took (emphasis: my interpretation, not endorsed by peteretep) to be the subtext of that question, namely that the use of 'their' in that context is undesireable, and argued that it was not the only alternative to a gendered pronoun.