Some optimizations in the web GUI.