Agree, it's the same doubt I have. Especially because he wrote:
accepting pulses as fast as 250 nS.
where it leads to a 4 MHz pulse. I don't know if Arduino can handle (i.e. detect and do "something") with that kind of signal speed, together with Serial output sent from an ISR...