At a certain point you have to take people at their word; I’m reporting what the contributor said they did (used the documentation to generate the code).