Sounds like there were some adults in the room. Common sense says that it would be infringement, and that a negotiated settlement was better for Amazon than losing—and being able to collaborate gives Elastic a wider reach than it would have alone. (comments from a rank amateur)