#163: html_microphone.js, correctly reference 'png' images