How to make sound files smaller

[tube]

PDF file, WITH an embedded mp3, will have a player.

If the pdf file truly includes the actual program that decodes and plays the mp3, as opposed to simply embedding the mp3 file and the viewer software (adobe reader or whatever) being responsible for playing it, then I stand corrected. A quick googling didn't shed much light on the matter.

BTW, Wikipedia has quite a bit of info about the confusing world of mp3 licensing. This part seems relevant: 'a license was required to "distribute and/or sell decoders and/or encoders"'. Another interesting quote: 'patent holders declined to enforce license fees on free and open source decoders'. Doesn't this last bit mean utilising the free decoder included in AGS does not require a license, even if used in a game that is not free? I'll let someone less tired and more sober decide...