Monkey-patching and extensions for django-stubs