My child likes Minecraft. Are there ways that I can teach him Linux and Minecraft at the same time? I know there is an outdated version of Minecraft that runs on a Raspberry Pi and purportedly has some sort of programming lesson that could go with it.