AumPush, AumTroll   :   Hopefully, fixes for an AumPush instrument bug and addition of coloring to the DeviceSelector.