I don’t think Mike Nahas has claimed to be an expert, just someone who wanted to help by providing a short introduction to Coq.
As you can see in the postscript part of the tutorial, you may reach the author by e-mail to inform him that this sentence is unclear (very interesting reference by the way!):