https://mingredbestcheapprice.blogspot.com/2023/09/deleting-file-lines-in-python.html