[texhax] TexLive 2008

[Karl Berry]

    However, I do agree that the instructions for decompressing in Windows
    (involving the command prompt, redirection, etc.) are too complicated
    for the average Windows user. If some graphical decompressor (WinRar,
    7zip, or whatever) supports decompressing lzma files, that tool should
    be described.

I don't want to try to describe GUI operations in detail, it would be
more confusing than helpful IMHO, but I can at least link to 7-zip so
users know that it is an alternative.  (I have no clue whether WinRar
can decompress lzma.)

Thanks,
karl