It could just be the EE programme typed up and made into a PDF file, or possibly they have scanned the booklet into a file. No way of knowing - the listing isn't very clear. You could send a message to the seller and see if you get more information that way.
I don't think it is official, anyway.