This seems to imply CockroachDB's name would be ignoring/bad marketing? I think it's fine. I see a lot of people saying something along the lines of "if it had a different name I would have looked at it earlier" but honestly I think if it was really named differently with a less remarkable name they would not have noticed it in the first place.