Sometimes the header is identical to the top line of the window immediately below it, e.g. it always happens at the beginning of a buffer:
I may have also seen it occasionally duplicate (defun ... lines elsewhere, but not at all sure about that - I can't reproduce, so it might simply have been another start-of-buffer case.
Sometimes the header is identical to the top line of the window immediately below it, e.g. it always happens at the beginning of a buffer:
I may have also seen it occasionally duplicate
(defun ...
lines elsewhere, but not at all sure about that - I can't reproduce, so it might simply have been another start-of-buffer case.