Non-abelian Leopoldt conjecture for ordinary completed cohomology

Let $F$ be a number field, $p$ a prime, $n$ a positive integer, $U\subset\operatorname{GL}_n({\mathbb A}_F^\infty)$ a good subgroup, and ${\mathfrak m}\subset{\mathbb T}^{S}_\text{ord}(U)$ a non-Eisenstein maximal ideal. Non-abelian Leopoldt conjecture.

$$\dim_{\Lambda[1/p]}H^\ast_\text{ord}(U)_{\mathfrak m}[1/p]=\dim\Lambda[1/p]-l_0.$$

This is the non-abelian analogue of Leopoldt's conjecture, phrased as a dimension formula for localized ordinary completed cohomology over the weight Iwasawa algebra. The source gives no resolution status.