As unfortunate lesson to learn, I hope others can benefit from our mistake.

I know a few other companies who've had trademark issues recently. Seemingly, it's quite simple (and affordable) to avoid.

Anyone else had problems with this? Advice about changing name, github repos etc?