In Dashboard Manager, currently the Push Users icons, where available, are all in green.  It would be nice, however, to have a color-coding system available such that different "user groups" are identified by different colors.  Additionally, it would be nice to have the ability to see the name of sp...