Identity conjecture for words with countably many profinite values

Let $w$ be a group-word and $G$ a profinite group. Suppose that the set of $w$-values in $G$ is countable. Identity conjecture. Then $G$ satisfies a nontrivial group identity. The paper presents this as a potentially more tractable conjecture than the preceding finiteness conjecture, and gives no resolution.