These plugins enhance the web interface.