Remove some unnecessary monkeypatching on Python 3.13+#379

JelleZijlstra merged 1 commit intomainpython/typing_extensions:mainfrom

no-monkey-businesspython/typing_extensions:no-monkey-businessCopy head branch name to clipboard