I'm not sure if there's some place to report this, but when I try to change my ssh key in profile, the box is not editable; it seems like it is at first but then it seems to change and be uneditable.
All I can do is delete the key and create a new one, which seems unnecessary. There's nothing in the pop-up window indicating it's uneditable until I click into it and it just doesn't work.