Are the websites irisshaders.net and irisshaders.dev the same?

While I was going through the github installation readme, the standalone installation link of iris shaders was irisshaders.net, which didn't load for me but after searching for the website through the web led me to irisshaders.dev

Is the installation link for Iris shaders download page on the github readme broken?