I think moving to Resource Loader which was improved for the extension since the last release will bring a world of good performancewise. So it will be cool to have a new release which officially brings this improvement.
Topic on Extension talk:Header Tabs
Yes, that's a good idea - I hadn't realized how long it has been since the last release.