My interpretation if Stallman's requirements would indicate that it doesn't matter what format it is recorded in, provided that it will be transcoded into a free format before being made available for download. Ian.