#163: html_scripts.js, load 'recorder.js'