Premetto con le mi scuse qualora avessi sbagliato sezione.

Un paio di anni fa usavo DownThemAll con soddisfazione.
Poi è dipartito il computer, ne ho preso un altro e...il tempo è passato.

Ora ho l'esigenza di scaricare circa 5.000 files in formato pdf da un sito.
Con DownThemAll come estensione entravo nel sito, con la mia login e password (è un servizio di cessione pdf a pagamento) e mi scaricavo parte o tutto ciò che mi serviva.

A memoria era anche rapido.

Uso Windows 10 su un pc e Linux Mint su un altro.

In Windows 10 ho provato tantissime estensioni, sia con Edge che Firefox che Chrome: niente.
O non scaricano, oppure scaricano i primi 10 files e morta lì.
Provate altre su Linux Mint: idem con patate.
Ho provato Httrack, ma usandolo come software e non come estensione, scarica solo quelle pochissime anteprime libere messe a disposizione dal sito, ma non l'intero database.

Penso ciò sia dovuto al fatto che se le estensioni partono dal fatto che con il Browser sono all'interno della pagina, con tanto di login effettuata, invece Httrack agendo non come estensione...non ha i permessi di accesso.

In sintesi: sapreste consigliarmi preferibilmente una estensione che con un solo click, massimo un paio, "punti" alle migliaia di files pdf e...con sua calma se le scarichi in una cartella?
Oppure, visto che Httrack mi sembrava potesse dare dei risultati, c'è un modo di inserire nello stesso la credenziali di accesso del sito dal quale deve scaricare le migliaia di files?

In alternativa devo scaricare uno per uno tasto destro e salva...5.000 files...aiuto!!

Grazie mille.