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