This section is about choosing good names. Still far from completeness, isn't it?
generated Sat Oct 10 10:43:34 2026runner