Jeg har fundet ud af det! De er holdt op med at bruge port 8000, og man kan bruge https på almindelige port 443. Det var bare noget jeg prøvede mig frem til.