Hello, I'm working on a Many-To-Many model where one of the tables has 22k+ records. The filter_horizontal api takes forever to load. I found out that this is a known problem (https://code.djangoproject.com/ticket/3202) and there is a patch available that significantly improves the loading times. I found out that the django files stored in my bash environment are READ-ONLY and I have no simple way to patch it. Is there any way I could edit those the .js files in the python2.7/site-packages/django/contrib/admin/media/js folder?