Not a hiccup, apparently -- their Verisign-issued EV cert is still revoked. Things look ok to users because they're now using a GoDaddy wildcard domain cert.