Document the Started, Role, and URI properties of the DeviceProvisioning API.
device-provisioning.txt is an API file, so name it accordingly.