#230: Rename html form fields in 'html_form.js'

Resolves #230.