Libraries are indeed targets of malware and ransomeware. In Ontario, at least Toronto, Hamilton, and London public libraries have been ransomewared. The idea is nice, but I think the risk would be too high for libraries with increasingly slashed budgets. Even with an air-gapped system doing the formatting, I can't imagine library IT devoting the time to do this.