Connessione a MongoDB con PHP
Per la connessione a MongoDB con PHP pare che sia obbligatorio usare pecl per l'installazione del driver.
Il pacchetto trovato in Debian 10 non è stato utile, o forse è addirittura deprecato.
Alla fine sono riuscito nell'intento usando questa procedura.