Thread:Extension talk:Header Tabs/Headertabs in MW 1.23.7 and 1.24.1

Hello, thanks for this great extension. We have been using it for a long time now and in our case it has always worked like a charm. I am in the process of updating our wiki to MW 1.23.7 or 1.24.1 and I found a small problem in both concerning headertabs. When  is enabled (under Preferences, Appearance, Advanced options) it seems to overrule the headertabs extensions. Example: =Header A= =Header B= =Header C= =Header D= The result will only show a auto-number in the tabs, 1 to 4. The given text is no shown. When you then disable  it works just like expected, it shows the given text in the tabs. As far as I know MW versions prior to 1.23 never added auto-numbers to headertabs. I tested this on a clean install of MW-1.24.1 without any changes to the default LocalSetting.php and headertabs extension. Also tested this on our test wiki running on MW-1.23.7 with the same result. Our production wiki is running MW-1.22.5 and it works fine on that version. Is this a bug or am I overseeing something here? Thanks.