Não importa, parece que preciso criar um certificado SSL antes de poder vincular uma porta HTTPS. Quando eu chequei originalmente as configurações, não havia um certificado existente, mas o protocolo https estava de alguma forma ligado à porta 8531, então fiquei confuso.