Tiny http server, used by the device_updater tool.
