vQueueAddToRegistry for semaphores, mutexes, stream and message buffers?

For FreeRTOS-aware debug, it would be great to see the state of mutexes, semaphores, and message and stream buffers. I didn’t find mention in vQueueAddToRegistry nor other documentation. Is it supported?
PS: For this project I’m using NXP’s MCUXpresso Task Aware Debug (TAD) for FreeRTOS.
It mostly works and is quite helpful…

Semaphores and Mutexes are just queue with no data, so you can add them to the registry, and the number of items will tell you their state.

It would be nice if StreamBuffers were supported (which would basically automatically get MessageBuffers, since they are just a minor variant of them, using must of the same code base and structures).

Sound like a good candidate for a feature request. Better still, a pull request that adds this capability.

I wonder if all object types could be in the same registry? That might get static checkers into tizz with type conversions to and from void*.