In message <19990520124441.A19332@pobox.com>, J Hulley-Miller writes: > > RealPlayer is avail for linux... It has been for some time now. It's RealPlayer 5.0, which is missing most of the codecs that modern sites use. OTOH, RealPlayer G2 for Linux was just released as an "alpha"... -- Harald