Don’t know if he’s ever said it or put it in print, but that common terminology in the “community”.
Oops. that = that’s.