https://wwtyrd.com/tech/olympia/blog/2022/12/20/delete-downloaded-mac-update/