[REQUEST] rename binaries from `Koi` to `koi`

[bphd]

Is your feature request related to a problem? Please describe. A clear and concise description of what the problem is. Ex. I'm always frustrated when [...]

Describe the solution you'd like A clear and concise description of what you want to happen.

Describe alternatives you've considered A clear and concise description of any alternative solutions or features you've considered.

Additional context Add any other context or screenshots about the feature request here.

[baduhai]

Ya know... I might actually do this.

[bphd]

You closed this as completed. Following bureaucracy, it's already done lol

[baduhai]

Close as completed is just the default button, and I'm too lazy to click the drop-down :P

[baduhai]

Done :)