Antes que nada recibe un cordial saludo. Fijate que tengo un archivo mp3 del Himno de Tabasco, pero no se como pasarlo a un archivo .ogg para poderlo subir a Commons tal y como tu lo has hecho, y tampoco se como poner en el archivo que es de descarga libre en la página del gobierno del estado de Tabasco, en <url>  ¿Me podrías ayudar en eso?