A collection of Midi functionalities added to Minecraft