I was just trying to avoid load several files, as Andreas suggested in his email, but you are right that it hurts other pages that only load a single library. Let me check if we are really saving time with this, and will revert the change otherwise.