Hi Frank,

> Well as far as it goes it should do no harm but in my opinion it could
> most certainly be dropped.

I've found this comment in the literate sources:

> The following is to ensure that no shipout of content is done before the header is out.

So there was probably some case where it caused problems. In my tests,
removing this shipout didn't cause any harm, so I will do it.

Thanks,
Michal