I've asked our systems guru, tyme, what the exact problem was. We'll let you know when he logs in again.
If you ever need to know if any site is really down or if it's your own problem, I've found this site to give a good answer to that question:
https://downforeveryoneorjustme.com/