+1! But this is still a net positive. Multiple forms of validation and open sourcing the software running on these machines are both components of a "defense in depth" strategy.