Hello. I used to read ports' UPDATING via RSS, but now the feed I was using (from versia) seems to be gone. Anyone knows of another one? I looked into FreshPorts, but didn't find a way to get this specific feed. bye & Thanks av.