So sorry, I obviously missed news about Portmaster which I have been using many years to update the installed ports. Is it gone forever? Is there a successor? Kind regards, Walter Jansen