Loss of a Lean proof for Linux and Windows

My hope is that, like Jev, we're going to be looking in the wrong place.