iOS: Device name has already been used by this user

I downloaded the iOS app to give it a try, and followed these steps:

1. Selected login
2. Input username
3. Chose to authenticate via password
4. Added new device name
5. Realized that by accepting my keyboard's autocorrect, the capitalization just entered was not consistent with my other device names
6. Viewed list of devices and deleted the device I just added (for my iPhone)
7. Was logged out
8. Confirmed removal of device (using my laptop browser)
9. Deleted the app and re-downloaded
10. Repeated steps 1–4, but used the capitalization I wanted
11. Was shown this view (the progress circle just keeps spinning and the Log in button is never selectable no matter what I choose in the above dropdown and text inputs):
    

I couldn't find any reference to restrictions on reuse of device names in the documentation, or any mention of case-insensitivity. If this is not a bug, then I think it should noted that "YOU CAN'T REUSE A DEVICE NAME EVEN IF YOU CHANGE THE LETTER CASE" at the time of device name entry.

What's going on here? Bug? UX oversight? Other?

Reproduce the iOS login flow using a device name, delete that device, and retry with capitalization changed. Check the device-name reuse behavior and the non-selectable Log in state; done means the intended behavior is established and either the login flow works or the restriction is clearly communicated.