General support utilities for the web UI.