[tex-k] header special extension proposal

[Karl Berry]

    I don't understand the problem, but the header sepcial extension
    may be realized by the following quick and dirty ones:

Wow, thanks.  I checked in a (slightly modified form of) the patch, so
Hendri could test it.  If the idea turns out to be unsuitable, we can
always revert.

(Hendri, just run dvips to get the new version, and run dvips.prev to
get the version without.)