Additionally installing curl, running sudo apt-get install curl in a terminal solved the problem. Thank you David, W4SMT, for the super fast response. Martin -- 73, DM4iM K2 #2706, K3 #2878