CGI and JS to automatically reload browser pages when files are changed, to speed development.