Dynamic options for "prompt the user to choose"

[reillyeon]

WebBluetoothCG/web-bluetooth#621 points out that APIs like Web Bluetooth use the "prompt the user to choose" algorithm to ask the user to select between a set of options but it may be the case that the set of options changes over time. For example, a new Bluetooth device may come into range while the user is making their choice.

This is something implementations are likely to do because it provides a better user experience but isn't actually supported by the specification.