Thread:Extension talk:Header Tabs/Performance enhancements/reply

If I understand those questions correctly, MediaWiki's ResourceLoader should be handling all of that - so I'm surprised that those problems are happening. Is the behavior of Header Tabs' JS and CSS different from that of the other JS and CSS files in MediaWiki?