Comment by brudgers

I was confused because the source file was referred to as "the executable" and did not have a conventional .py extension.