Convex cocompactness for Coxeter groups | Synapse