patch: show device number

docs/tools/devices.html

@@ -50,7 +50,7 @@
                 div.className = "device";
                 devicesDiv.append(div);
             }
-            div.innerText = `${device.toString()} - ${device.deviceId}: ${jacdac.printServices(device).toLowerCase()}`;
+            div.innerText = `${device.toString()} - ${device.deviceId}: ${jacdac.printServices(device)}`;
         }
 
         function disconnect(device) {

docs/tools/streaming.html

@@ -43,7 +43,7 @@
                     // if the device is a sensor, start streaming
                     const sensor = jacdac.SensorClient.fromFirstServiceClass(d, jacdac.JD_SERVICE_SLIDER);
                     if (sensor) {
-                        log(`start streaming ${d}: ${jacdac.printServices(d).toLowerCase()}`)
+                        log(`start streaming ${d}: ${jacdac.printServices(d)}`)
                         sensor.setStreamingAsync(true);
                     }
                 })

src/pretty.ts

@@ -134,7 +134,7 @@ export function printServices(device: Device) {
     const n = device.serviceLength;
     for (let i = 0; i < n; ++i) {
         const id = device.serviceClassAt(i);
-        const name = serviceName(id);
+        const name = `${i}:${serviceName(id)}`;
         if (i) srv += ", "
         srv += name;
     }