I don't think it's official, but that name was used when they played before.
Also, heads up I think there's some slight federation issues between lemmy.world and fanaticus.social. I can't see this comment when logged into Fanaticus. I noticed it on a few comments yesterday. They would eventually federate but with a lengthy delay. It's sparse enough for now, but I'll monitor it and ping our admin if it gets worse. Seems like only lemmy.world is affected
It may be a similar issue to what was discussed in this thread.
I think at the time Fanaticus was flagged as suspicious because of its bot traffic, but headie_sage was able to sort that out. I wonder if the explosion of traffic yesterday tripped some spam detector on lemmy.world or if it's just lemmy.world instability
EDIT: I think it's the latter. I can't see this thread but I can see all the other comments on a third party (feddit.uk)