Toward provably private insights into AI use | Not Hacker News!