Interesting that CoPilot is down as well. I would have assumed it was really only part of GitHub as a branding/marketing thing.