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?