A new version of the PDF manual is available. No major contents have changed, main purpose is to make sure that the full production cycle of it works when major changes start to happen.