Note that it may be a few days before a new aptitude is uploaded: the new apt interacts badly with aptitude and I need to track down why. Daniel