This PDF manual would be useful for me too. I was also recommended an online editor review https://www.hrfuture.net/talent-management/training-development/create-pdf-document-with-extreme-ease-with-pdf-guru/ that lets you add notes to manuals like these. And it’s really convenient for that purpose. I have some large manuals where adding notes is sometimes necessary for convenience, so this might be useful for someone else as well.