Update: I discussed this with Andres out of band on 13 July, and he will provide a replacement upload and update the bug description further.
Update: I discussed this with Andres out of band on 13 July, and he will provide a replacement upload and update the bug description further.