This is not just a domain sale. According to worthofweb.com OpenSourceCMS.com has about 200,000 visits per month. Free CMS like Wordpress, Joomla!, Drupal and many others are really big business. Paid themes, plugins, extensions etc. I think a properly modified website with such traffic can bring a lot of profit.