Does "has:red-star" work for you? Works for me, even in the Android version that can't display starts of different colors.