We're talking thousands of government websites. Crypto-mining malware that makes use of your PC's resources is not a novelty. However,…