If you feed the text into ChatGPT and ask it to reformat the text for succinctness while retaining key concepts and readability, you might find you can pare 1000 words or so, its very good at that sort of thing.