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...