Although that's true, I don't think it's necessary to trademark in this case. Nobody is losing marketing potential or profits here -- it's just an issue of how to deal with nomenclature when two separate people are working on different forked improvements of the same thing without confusing the community.