Document how the device list works