WordPress’s Costly Trademark Battle With WP Engine Is ‘Worth It’, Says CEO Matt Mullenweg  Observer