#163: html_microphone.js, add 'details'