Finding a new troubleless name for KSokoban

[Ian Wadham]

> On 26 Aug 2022, at 10:35 pm, Karl Ove Hufthammer <karl at huftis.org> wrote:
> 
> Friedrich W. H. Kossebau skreiv 26.08.2022 14:09:
>> Am Freitag, 26. August 2022, 08:40:38 CEST schrieb Ian Wadham:
>> 
>>> May I suggest PushPush — because that is mostly what you do… ?  Or KPushPush
>>> if you must, or just KPush…
>>> 
>> Also nice I think 😄 Yes, push-push that feels like what the game is about 
>> partially :P
>> 
> Yes, Push-Push could work. (I think I prefer leaving the hyphen in.)

Agreed. I like the hyphen!

Cheers,
Ian W.