Unconfirmed, but probably true.
Logging this so I don't forget. Someone on discord mentioned using patch mode where the case of the new file did not match the original file and it ended up adding the file with different case as a new file instead of replacing the original.