AJAX is working

no longer will the HTML page properly work unless it's run from a real
web server (or heavy customization is done to web browser to lift the
AJAX security restrictions on same-origin policy)