"The quaternionic versions of the Coxeter and Shephard-Todd groups
are still to be defined and classified."