Final naming for Star FrontEnds
!519 (merged) implements variations between Star front-ends by registering Star_PPA and Star_PPB.
This means the shortest (Star) is for the "prototype" configuration, not the final configuration.
Proposal is to change to (or add) something like Star_vH0_vA0, Star_vH0_vA1, Star_vH1_vA1.
Eventually, we could also rename Star_vH1_vA1 to Star?