and Saddam is more of a bad guy than Gaddafi under pretty much any reasonable definition.
Really ? I'm not saying Saddam was significantly better, but the two seem at least comparable in terms of hideousness. Hasn't Gaddafi has done his fair deal of atrocities too ?
Saddam's got a much higher "kill" total. They both were giant douches and the world is better off without them, but Saddam was at least an order of magnitude (pop POP!) more deadly than Gaddafi.
And Gaddafi has some actual positive achievements to his name - literacy, or the Great Manmade River. Of course, everything averaged out he was pretty bad, but he was better than plenty of people the US has not intervened against yet (Assad and Hamas come to mind first as some targets the US could get rid of with a wrist-flick; bigger baddies like Iran are more difficult).