Non-finite presentability of nonuniform lattices in locally finite polyhedral complexes

Let $X$ be a locally finite polyhedral complex, let $G=\operatorname{Aut}(X)$, and let $\Gamma$ be a nonuniform lattice in $G$. Non-finite presentability conjecture. The group $\Gamma$ is not finitely presentable. The source proposes this as a broad expectation motivated by the non-finite presentability of certain lattices in algebraic groups in positive characteristic; its general validity is open.