Steps to replicate the issue (include links if applicable):
- Add a SSH key via https://idm.wikimedia.org/keymanagement/
- Note "system" field is empty
- Activate it on "Wikimedia Cloud Services SSH keys"
- Note "system" field is showing "Wikimedia Cloud Services SSH keys"
- Deactivate key
- Look at "system" field again
What happens?:
System field still lists "Wikimedia Cloud Services SSH keys"
What should have happened instead?:
System field is empty, since the key is not active on any systems
Software version (skip for WMF-hosted wikis like Wikipedia):
Other information (browser name/version, screenshots, etc.):