Hello, Is there a way to check the status of the ports tree without having to subscribe to the ports mailing lists? I'm not interested in all the ports chatter, just looking for a way to check if the tree is frozen, etc. Thanks.