@mwlucas Who's the ignorant developer, Theobromia or the palemoon people? A trademark doesn't have to be registered to be enforceable (though it's less strongly enforceable if it's not registered).
Another question, though, would be whether a simple name without any particular font, colour, or similar could be a trademark. I'm not sure about that.
@edavies A trademark has to have a combination of word and presentation, with a specific channel of business.
They could probably make a case--you can sue for anything--but from what I can see, their claim on this trademark is very weak.