@francisbrb Exactly. Also, the stratification of the manifold of objects, and the space of orbits, is nice. And from memory you get finitely many orbit types in proper+cocompact.