If an engineer is looking for a Python script in a computer's documents folder, what file extension should he or she look for?