Lubotzky's theorem is a necessary and sufficient set of conditions for a finitely generated discrete group to be linear, i.e. isomorphic to a subgroup of $GL_n(K)$, where $K$ is a field of characteristic 0. Its proof relies on the (relatively) advanced theory of pro-$p$-groups. It can be found with its proof in the book, "Analytic pro-$p$-groups" of Dixon, Du Sautoy, Mann and Segal, Interlude B, or in the original paper "A Group-Theoretic characterization of linear groups" in Journal of Algebra 113.
My question is:
Has this criterion being used to prove or disprove the linearity of discrete groups of independent interest?
By independent interest I mean some group interesting for mathematicians outside of the theory of pro-$p$-groups, for instance the Braid groups $B_n$, the group $Out(F_n)$, fundamental groups of interesting manifolds, etc... not some group