Grok’s praise for Hitler wasn’t a ‘glitch’