@chuq Fortunately I have a kitchenette with capable coffee maker, so summer intern will instead copy files and generate PDFs for me.