…you should probably have bookmarked https://status.firedrake.org/ , which the bloke who hosts the servers will update if things get broken. (It’s a nice simple page on a server that doesn’t do much of anything else.)
3 Likes