Leak reveals Grok might soon edit your spreadsheets