[foldr]

Singular 'they' is pretty well established usage by now, regardless of gender considerations. Even people who complain about it still use it: https://stroppyeditor.wordpress.com/2015/04/21/everything-yo...

[zellyn]

That is a great treatment. Thanks for the link.