Workarounds
Bots are apparently quite adept at semantic searching in all chats – not only their own.
However, this kind of “search” costs us credits and pollutes conversations.
Conceivably, one could create a separate Chat Search bot for this sole application.
More ambitiously, Chat Search bot could vibe-code a deterministic script that searches for strings in chat JSONL files already stored on your Grok Chat computer. One catch: these files aren’t instantly updated.