The toolbox

A small pile of things that turned out to be useful. More get added when they do.

• Sound-pack audio converter Any audio file → mono OGG Vorbis, ready for a Minecraft resource pack.