Which hash did he use? The change you link to has the same SHA-256 as the first option both before and after the change. Did he use something else? I'm curio

Which hash did he use? The change you link to has the same SHA-256 as the first option both before and after the change. Did he use something else? I'm curious to know your thoughts on the scenario whereby another hash would be chosen for him by the software, and whether or not he may have chosen a specific hash? This is potentially a good line of enquiry with more info