Thread:Extension talk:Header Tabs/Switchtablink problem/reply

I believe this problem is now fixed, in SVN.