sweetex proxy is running. See /admin for the control panel.