So what happens with https://sematext.com/ ? Outside of AWS, they use open-distro and do compete with elastic.co. Will they just go out of business by not being able to upgrade elastic?