Note: groups.io will be down for maintenance on Wednesday, October 5th, starting at 9AM Pacific Time (4PM Wednesday October 5, 2022 UTC), for approximately one hour.
I think there is the conflict between the tool and the html code of making header.
It will come with a smaller size in html comparing with using tool.
For example, when i choose "h1 heading h1" tool, it does show h1, however I turn to html page to check, it is <h2></h2> not <h1></h1>.
This also happens in h2, h3, h4.