Higman–Thompson groups and profinite properties of right-angled Coxeter groups | Synapse