On 12/04/2012 11:09, Chris Rees wrote: > > Chris, I did misread your email-- portmanager appears absolutely fine, > and is in no danger of removal :) That's good to know thank you. Sorry, portupgrade to portmanager was a bit of a sneaky corner. Chris