How Elastic traced a formatting bug in Elasticsearch