A customer of ours wants to display individual Service Desk notification badges (like in the original UI) outside of Service Desk. Is it possible to grab the number of notifications by some API function?