Come to think of it, I’ve never seen a plain IP used with HTTPS.