Here's my first attempt at a Markdown conversion of that document (using Gemini 1.5 Pro against an image of each of the pages in the PDF), created so that I can copy and paste from it and read it on my phone https://gist.github.com/simonw/7b913aaaff8278d2baaed86e43ece748
@simon what did you use? In the past I had decent results using https://github.com/VikParuchuri/marker