Applied, thanks! I dropped the 'egress leaves' change, because 'leafs'
is valid usage in practice in such contexts [0] and Stefan slightly
preferred it in a brief off-list discussion.
[0]: https://en.wiktionary.org/wiki/leafs
[1/1] docs: fix typos
commit: c9d2b3c59513cbc45518be6c93af60707402ac90