How to use Multiple Ports?

You can probably do https on port 80 (and any other weird port). I haven’t tested it, but the .dev TLD just enforces TLS, it doesn’t always redirect people to 443.