#188: html_form_ajax.js, minor 'console.log( ... )' changes