Adding AJAX to the web interface
need to explore CherryPy & websockets, but this quick'n'dirty is a big
speed increase