As per https://github.com/python/typing_extensions/pull/579#discussion_r2030226131, I'll work on this soon.
As per #579 (comment), I'll work on this soon.