user

User HTTP API

This documents the REST API used by external clients to talk to the system via HTTP. We agreed that this API will only use GET requests to make it easier for remote users to control things (i.e. through custom URLs in the browser)