Health monitoring
=================

``health.js`` updates the interface's server-health indicator.

.. js:autofunction:: health.setup_health
