SEDE calls Code Golf Stack Exchange by its old name [duplicate]

Question

As of May 30'th 2019, Code Golf.SE's new official name is Code Golf and Coding Challenges. However, SEDE hasn't updated this:

I know this is a minor bug, but it shouldn't take much effort to change this.