#163: html_microphone.js, add 'mic_config'