For images, we've had ImageMagick; for video, we've had FFMPEG. But never anything for audio editing or filtering. How do you mix audio files, add echo, trim silence, or normalize volume? How can you do server-side editing to allow web development with music and speech? The