We're having problems with DISQUS. We don't yet know why, but we're trying to find out. I'm sorry if your comments got caught up in this. More soon.