This is your work, valued
Old Minecraft-related projects from @stephan-gh. Usually bug fixes only. :)
