Laid off 13% of workforce in 2023. CEO Shay Banon announced cuts despite Elasticsearch popularity.