That might have been DNS, the website itself is on sourcehut pages. Should be fine now for a while.