No Grok Button

Removes the Grok button on Twitter (or X for weirdos)

Ekde 2023/12/09. Vidu La ĝisdata versio.