I discovered a best-in-class open-source PDF to Markdown convertor: Marker. On my NVIDIA RTX 4090 server, it converts a PDF in about 30 seconds to a minute, and the results are spectacular. I used uv venv to create a virtual environment, activated it, and installed Marker within the environment using pip install. It does require an NVIDIA GPU server, but the output quality is worth it.