Non-finite generation of nonuniform lattices in right-angled hyperbolic buildings

Let $X$ be a right-angled hyperbolic building, let $G=\operatorname{Aut}(X)$, and let $\Gamma$ be a nonuniform lattice in $G$. Non-finite generation conjecture. The group $\Gamma$ is not finitely generated. This extends the corresponding result for trees and is known for many nonuniform lattices in right-angled hyperbolic buildings, but the assertion for every such lattice remains open.