#139: html_form_ajax.js, internal documentation on ajax

Resolves #139.