Oscar Levin

This turns out to be harder than I thought. Except for Arch and Void linux, no distribution seems to offer 10.x sagemath. So that means either completely redoing the pretext-docker...

Fixed the issue with the docker image so at least the old 9.2 version gets installed now. To get a more recent version, 1. installing from source seems to be...

Maybe using a debug verbosity? My book has so many extra copies of .ptx files in various subfolders that I don't ever use, or only use for some separate build...

I don't love having another root-level folder for this, as for most users currently, `stage` will be identical to `output/web`. I think having both will be confusing. No reason we...

In case someone wanted to set all this in their project.ptx file, they could also have `project/@output-dir = "."` and then have `@output-dir` set to whatever they like on their...

Now that we validate the manifest using pydantic, does it still help to have a schema for it? I suppose we could set up pretext-tools to complain when something isn't...

I think this is relatively easy to configure with the logging package. I'm not sure what the best practice is though. I vaguely recall thinking about this when I initially...

Oh right! Okay, unless pyMuPDF can do the same thing as pdfcropmargins (I know it can crop, but I don't think automatically), then we are good.

Definitely worth looking into more. I don't think the link to the pyMuPDF issue does it though, as we need to detect the content; we won't know the size to...

It looks like pdfCropMargins 2.x now uses pyMuPDF anyway. But I think we tried that and it caused issues. Might require an update from core, which would be good anyway,...