This is not necessary at the moment now that we have the build panel and
can choose the target device there.

Longer term, we'll likely bring back a "device manager" in the form of a
perspective that allows managing the device apps, deployment, settings,
etc.