tarski12

I don't know, but while it doesn't work in production, it works in "developpment" mode, using `python3 manage.py runserver`. The difference being that in dev mode, non-minified versions of jquery...