I am now convinced that .ogg should be our preferred format, with .mp3 accepted but discouraged. What's our policy with .gif? I know I'm supposed to be the ultimate "buck stops here" on policy issues, but I honestly forgot what we decided. --Jimbo