Question: How to overwrite some bytes in the middle of a file with Python?