I don’t think it’s petty as such. Amazon’s naming was likely to cause confusion. This is a good win for Elastic to protect their trademark.

Of course, Amazon has every legal and ethical right to continue providing their fork under a new name as they’re now doing. That’s the whole point of open source.