Exactly my thought too - surprised that wasn't mentioned.

Also funny in this is that this gun was produced by the OSS (pre CIA) for WWII resistance groups. It was dropped en masse behind enemy lines in hope that they'd find their way to the partisans.