Comment on Grok praises Hitler, gives credit to Musk for removing “woke filters”