β-redex comments on gamers beware: modded Minecraft has new malware