The device identifier can be copied to the clip board by clicking a
button.  In the menu there is an option to send you directly to the
pushtospeech-server AppEngine website including populating the device id
to make it easy to send a message to your app.