I am new to jsPDF, ans have a question. I am building a website, and want jsPDF to download the generated file to the user's computer instead of adding it to the file directory, because I am using replit and it does not work with replit. I am pretty sure this question has some super simple answer, but I need help. HTML:

<script src="https://unpkg.com/jspdf@latest/dist/jspdf.umd.min.js"></script>

js:

import { jsPDF } from "jspdf"
const doc = new jsPDF();
doc.text("Hello world!", 10, 10);
doc.save("a4.pdf");