Thread:Extension talk:Header Tabs/HeaderTabs + MW 1.19.2/reply (3)

Ouch. :( This info should perhaps be added to the "Known issues" section of both extensions.