Please excuse my nitpicking. I know it was just used to make a point that the actual computer use looked rather mundane, but “topsecret.txt” wouldn’t actually work as a file name. topsecret is nine characters long, and file names could only have eight characters, excluding the extension (which would be .txt in this…