I took a look at his wiki to see if this information (extra lens used) was mentioned. There is a section on Parts Selection [1] which mentions a discussion about the Pi Camera and Lens [2] but that only sends me to a blank page.

Maybe he will update it with more information in the future.

[1] https://github.com/jphfilm/rpi-film-capture/wiki/Parts-Selec...

[2] https://github.com/jphfilm/rpi-film-capture/wiki/Camera-and-...