You (gazebo people) are probably aware, but in case you are not, the gazebosim.org domain is frequently unreachable. Over the last week it seems like it has been unavailable about half the time. And, according to https://downforeveryoneorjustme.com/, it is not just me.
Personally, this is a little awkward because I am currently trying to convince our team to use gazebo. It makes it hard to sell when the website is so unreliable.
Is this a known issue? Is this likely to be resolved in the near future?