Today I’m unable to open https://dev.gnupg.org; it just times out.
Seems to me the issue was solved in the mean time.