ServeUser

constructor(username: String, devices: Set<String>)

username

used only for logging; it is never sent to the caller

devices

names of the devices this user may use, as keyed in ServeConfig.devices