Specifica la porta per cRLDistributionPoint?

cRLDistributionPoints è OID 2.5.29.31. Ecco come appare sotto dumpasn1 di Gutmann:

SEQUENCE {
  OBJECT IDENTIFIER cRLDistributionPoints (2 5 29 31)
  OCTET STRING, encapsulates {
    SEQUENCE {
      SEQUENCE {
        [0] {
          [0] {
            [6] 'http://crl.example.com/crt1-crl.crl'
            }
          }
        }
      }
    }
  }

I client devono supportare, ad esempio, http://crl.example.com/crt1-crl.crl:8080 ? Oppure è disponibile un campo aggiuntivo per specificare la porta?