How interested is Automattic in the themes side of things? In Matt's posts, he only mentions WooCommerce and e-commerce, but over on the WooThemes site, it's says the Automattic bought WooThemes, not just WooCommerce.