Re: new splash screen

[Richard Stallman]

    Since the new splash screen (thanks Luis!) doesn't have all the white
    chaff around the shadow, the black shadow is now invisible on a black
    background, so I think we ought to put back in Gerd's old hack that
    worked around that by making the shadow grey on dark backgrounds.

    Any objections?  Here's the patch:

If it looks good to you, and no one else objects, please do.