I siti Web non possono esportare direttamente file in un browser web; il browser deve prima effettuare una richiesta, quindi il server risponde alla richiesta inviando del contenuto. È così che (quasi) tutto sul web funziona, indipendentemente dal fatto che i contenuti offerti siano pagine Web (HTML, CSS, ecc.) O altri contenuti (come un file creato dal server per te).
Questo è importante perché, per ogni richiesta, è il BROWSER che decide se la richiesta viene inviata tramite HTTP o HTTPS. Il server non ha alcuna voce in capitolo. Il server può decidere che l'unica cosa che farà per le richieste HTTP è inviare una risposta che equivale a "riprovare, ma su HTTPS" - questo probabilmente è ciò che intendi per "configurarlo in modo che HTTP viene reindirizzato a HTTPS "- ma se la richiesta arriva su HTTP, la risposta tornerà allo stesso modo.
Se vuoi testare, è abbastanza facile. Aprire gli strumenti di sviluppo di un browser Web (per la maggior parte dei browser, è possibile farlo facendo clic con il tasto destro su qualsiasi pagina e selezionando "Ispeziona") e accedere alla scheda Rete. Vai al tuo sito e scarica il file esportato. Cerca nei dati registrati negli strumenti di sviluppo (avviso: potrebbe essercene molta parte) e vedi se la richiesta che ha inviato il file al server è andata su HTTP o HTTPS. Qualunque sia il browser utilizzato, è quello che il server ha usato.