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