Comment on Grokipedia Stopped Reviewing Edits in April. It Didn't Tell Anyone