[nineteen999]

I would have thought 8443 was a more common choice for HTTPS on a unprivileged port rather than 8080, which is frequently used for unprivileged HTTP. But it matters little, its only cosmetics anyway.