Has our cert expired? I think Stephen asked me about this before, but I don’t recall working on it.
Seems to work fine for me in Firefox. What issue are you seeing?
I see the broken lock for http://www.graphviz.org/
OK, so not a cert issue, this means that the redirection to https:// is broken.