BB Ajax calls helpfully convert hex usernames to decimal (BB-6217)

Tried to enter a new SSH Key, but was unable to Save it. I also tried changing an existing key and was unable to save the update. I tried to do this using both Chrome (v22) and FireFox (v15).