ssh keys: replace user id with username in the API