#251: ajax_json.js, rename 'html_form_ajax.js' -> 'ajax_json.js'