Some dynamically allocated structures are never freed

[TLaviron]

I have noticed that the MicroProfileThreadLog objects, which are allocated on demand, are never deleted, along with the MicroProfile.LabelBuffer buffer.

I assume these are meant to last for the whole duration of the program, and so the memory will be reacquired by the system when the program exits, but the allocations show up in leak checking tools because of that.
Is there a specific reason these objects are not freed during the MicroProfileShutdown call?

[zeux]

No specific reason, just an omission.