Mangled spec for requestDevice

[jyasskin]

Under https://webbluetoothchrome.github.io/web-bluetooth/#dom-bluetooth-requestdevice, Example 2 repeats the requestDevice algorithm and then Example 3 repeats it again.