I guess an economical decision is needed here. If Koha has the resources, and think the best way to expend those resources is fighting for their name instead of changing it for something else, "Hoka" for example, then go ahead and fight.
My expectation is that they will come to the conclusion that what they could get out of the fight is not really worth it.
We do need to stop feeding the lawyers at some point. The same observation than bigger armies do not lead to more peace applies to them also.