got song export working; should be more reliable than the ZIP-based download mechanism