As unfortunate lesson to learn, I hope others can benefit from our mistake.<p>I know a few other companies who've had trademark issues recently. Seemingly, it's quite simple (and affordable) to avoid.<p>Anyone else had problems with this? Advice about changing name, github repos etc?