Just wanted to send a note, timestamp.verisign.com is seeing failed or slow DNS resolution at times starting at roughly 07:30 PDT. In case you're trying to use these services for code signing and you see failures. Thanks.