Long term that probably doesn't matter though; the lawsuit is a strategic one
, aimed at slowing, not stopping, the next big battle. Inside HP, there are probably some impressive retention bonuses being paid to old Hurd allies, like Mott, for the same reason.