Question: What's a good Python library to manipulate frames of a video file?