fetch: hardcode HTTPS port and fallback to /etc/services for other unknown ports.