@hyc@mirabilos@nxadm If only the company doing the naming had a tool that could look for existing conflicting uses of the name before settling on it...
@mirabilos@dalias@nxadm tbf, I sympathize. After all, naming is one of the two hardest problems in computer science (along with cache invalidation, and off-by-one errors). And I had to rename LMDB shortly after its release, to avoid confusion with other projects... it's tough to come up with good names.