> Could you please share a recipe whereby I can get *both*
>
>     a) the table header of the tabulated list.
>     b) header line of the buffer.
>
> The screenshots I attached shows what I hope to accomplish.

Sorry, I was under the impression that you only wanted to have a custom
header line. Indeed, to achieve both of those things, your patch is
necessary.