P. Hall's profinite conciseness conjecture

Let $w(x_1,\dots,x_k)$ be a word in $k$ variables, and let $G$ be a profinite group. Write $w\{G\}$ for the set of word-values of $w$ in $G$, and $w(G)=\langle w\{G\}\rangle$ for the verbal subgroup. A word is concise in $G$ if finiteness of $w\{G\}$ implies finiteness of $w(G)$. P. Hall's conjecture. Every word is concise in the class of profinite groups. P. Hall's original conjecture that every word is concise in every group was disproved by Ivanov, but the profinite case remains open and is relevant to the study of verbal subgroups in profinite groups.