Yes. It is incredibly frustrating that everything is hosted on GitHub nowadays. I wanted to install Bazzite (a Linux distro!) and I cannot download their ISO, I cannot download their recommended partition tool, I cannot even download Rufus to start formatting some drives. And then you go and check their status page and you get the "all good nothing wrong here". So annoying