This wouldn't have been widely covered regardless.

Nobody cares about Yahoo! anymore except in niche tech circles. That's why you're reading this on techcrunch.