> Hope he’s doing well.

AFAIK @eevee [1] identifies as she/her [2].

[1] https://news.ycombinator.com/user?id=eevee

[2] https://twitter.com/eevee