The jQuery UI without the widgets is in use by now, I have also edited the question again, and also have used a different processing message, so it is not mis-leading.
To state this as a reminder, it is the file type "JavaScript" (".js"), which is throughout affected by this.