The old category GrpCox of finite Coxeter groups as permutations on the roots has been renamed GrpPermCox. Such a group can be created from either a root system or a root datum.