An in-game recipe editor for Minecraft