Change device name without overriding Espruino services

Hi guys. I'm surprised by the ease of use of the Puck.JS in general, nice work!

I want to change the name of the (Bluetooth) device without overriding the Espruino services. In other words, I want to change the name from "Puck xxxx" to "Hello" but still be able to connect using espruino.com/ide.

I tried this, but after disconnecting I cannot connect again. I see that the device is advertising using the name "Hello", However, in order to upload new code, I have to reset the Puck.JS. I guess there must be an easier way?

NRF.setAdvertising({}, {
  name: "Hello",
  showName: true,
  discoverable: true,
  interval: 600
});

Thanks!