Sedo.com and Sedo.co.uk Hacked, Hosting Malware on Site

It looks like Sedo.com and Sedo.co.uk, the search engine for domain names, has been hacked, and apparently is hosting malware on their web site. These messages