Ah, if I understand it, this is hardcoded because the latest jQuery should be loaded instead of the local older one. Then I'll keep it as is.