Reading the launch
In the open source Grok-build, there is a mascot DEMON its called Imp (Horned Demon) https://github.com/xai-org/grok-build/blob/b189869b7755d2b482969acf6c92da3ecfeffd36/crates/codegen/xai-grok-pager-render/src/gboom/assets.rs#L311-L312
Reading trades.