Ah, ok, grazie!
La virgola è facoltativa, nel senso che in italiano, leggendo, puoi fare una pausa dopo il verbo proseguire, oppure la frase può essere letta come un continuum.
Ma, facendo una ricerchina sul modo in cui la frase era già stata tradotta in altre pagine di Mozilla, ho notato che la virgola c'è sempre, perciò, sempre per la stramaledetta uniformità, lasciala anche qui...oppure eliminala da tutte.
Buonanotte!