Thanks very much! I'm really glad you're still integrating things and making releases. Is this the same Craig Silverstein who was Google's first employee? That's kind of cool. Martin