SDL_GPU: ability to access device name property

[mdmrk]

SDL logs some driver properties when creating a GPUDevice:

SDL_GPU Driver: Vulkan
Vulkan Device: Intel(R) Iris(R) Xe Graphics (TGL GT2)
Vulkan Driver: Intel open-source Mesa driver Mesa 25.0.0
Vulkan Conformance: 1.4.0

From my application I'd like to access some of this information. In particular I am interested in the physical device name, but I can't find a way to access it from the API. Would it be feasible to implement? Something like:

SDL_GetGPUDeviceDriverName(...)
SDL_GetGPUDriverName(...)

-> "Intel(R) Iris(R) Xe Graphics (TGL GT2)"