title: Web Audio API - record to MP3?
body: <p>I am asking because I couldn't find the answer anywhere.
  I have successfully implemented <a href="https://github.com/mattdiamond/Recorderjs">RecorderJS</a> in order to record microphone input in JS. However, the recorded file is WAV which results in large files. I am looking for a way to record with JS directly to MP3, or encode the bits somehow to MP3 instead of WAV.</p>
  
  <p>How can it be done? Is there a Web Audio API function that can do that or JS MP3 encoder of some sort? </p>