#225: html_form_ajax.js, pretty-print JSON 'stringify()'